e.g.
-closure
-closure
-closure
-closure
-closure
= -closure
= -closure
= -closure
= {X,Y,F}
-closure
= -closure
= -closure
= -closure
=
-closure
= -closure
= -closure
=
Figure 9: The NFA without -moves.
Figure 8: Transition Table for NFA without -moves.