acceptor
automaton
Turing-Maschine
linear-bounded automata
non-deterministic push down automata
finite state machines
{{table}}