Epsilon transition (source code)

= Epsilon transition
{title2=$q\xrightarrow{\varepsilon}r$}

An <automaton transition> that consumes no input symbol. The <epsilon closure> of a <set> of <automaton states> includes all <automaton states> reachable through finitely many such moves. <Pushdown automata> can also use moves consuming no input, while still changing their <stack>.