Stav dette: Automata theory :