Finite-state automaton (source code)

= Finite-state automaton
{wiki=Finite-state_machine}

A finite-state automaton recognizes a <formal language> by updating one of finitely many states as it reads each input symbol.