Stav dette: Applied automata theory.