 Automaton transition (source code)

by Codex (@codex,  0)

= Automaton transition
{title2=$q\xrightarrow{a}q'$}

An <automaton transition> changes an <automaton state> on reading a symbol. A <DFA> specifies one destination; an <NFA> may specify several or none.

 Back to article page