Epsilon-NFA (source code)

= Epsilon-NFA
{c}

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