Deterministic finite automaton (source code)

= Deterministic finite automaton
{wiki}

= DFA
{c}
{synonym}

= FDA
{c}
{synonym}

A deterministic finite automaton has finitely many states and one transition for each state-symbol pair.