Textmeddelande: Automata theory :