Finite automaton.