Stav dette: Introduction to the theory of finite automata. /