Stav dette: Automata and theoretical computer science