Epsilon closure (source code)

= Epsilon closure
{title2=$E(S)$}

The epsilon closure of a state set $S$ consists of every state reachable from $S$ using zero or more epsilon transitions.