Textmeddelande: Automata and theoretical computer science