FA

(Nondeterministic) finite automata - DFA + nondeterministism. Recognizes Regular languages.

Other names: finite state machine, NFA, finite automaton.