automata theory
automaton