Category:Finite state automata

This refers to languages where the total set of possible states is finite; see Finite-state automaton. Languages and implementations should not be confused here.