Epsilon-NFA
= Epsilon-NFA
{c}
An epsilon-NFA is a <nondeterministic finite automaton> that may traverse transitions labelled $\epsilon$ without consuming an input symbol.
= Epsilon-NFA
{c}
An epsilon-NFA is a <nondeterministic finite automaton> that may traverse transitions labelled $\epsilon$ without consuming an input symbol.