Variants for $\epsilon$-Moves

The algorithm presented in the previous section does not treat $\epsilon$-moves. In this section, possible extensions of the algorithm are identified to treat $\epsilon$-moves.