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.