next up previous
Next: Extension of to set Up: NFA with -moves Previous: NFA with -moves

Extension of tex2html_wrap_inline1266 to strings

tex2html_wrap_inline1264 -closure(q) = Set of all states reachable from q by tex2html_wrap_inline1264 -transitions.
tex2html_wrap_inline1264 -closure(Y) = tex2html_wrap_inline1416
tex2html_wrap_inline1264 -closure(X) = tex2html_wrap_inline1422

On a set of states P, tex2html_wrap_inline1264 -closure tex2html_wrap_inline1428 -closure (q).

Now, extending tex2html_wrap_inline1266 to tex2html_wrap_inline1470 for strings

displaymath1368

  1. tex2html_wrap_inline1438 -closure(q)
  2. tex2html_wrap_inline1442 -closure(P) such that

    displaymath1446

  figure642
Figure 6: Explanation of tex2html_wrap_inline1470 .

tex2html_wrap_inline1450 -closure tex2html_wrap_inline1584
= tex2html_wrap_inline1264 -closure tex2html_wrap_inline1588
= tex2html_wrap_inline1264 -closure tex2html_wrap_inline1460
= tex2html_wrap_inline1264 -closure tex2html_wrap_inline1464 tex2html_wrap_inline1466 -closure tex2html_wrap_inline1468
= tex2html_wrap_inline1470
= tex2html_wrap_inline1472

tex2html_wrap_inline1474 -closure tex2html_wrap_inline1616
= tex2html_wrap_inline1264 -closure tex2html_wrap_inline1620
= tex2html_wrap_inline1264 -closure tex2html_wrap_inline1484
= tex2html_wrap_inline1264 -closure tex2html_wrap_inline1464 tex2html_wrap_inline1466 -closure tex2html_wrap_inline1492
= tex2html_wrap_inline1494
= tex2html_wrap_inline1422


Sushil Prasad
Tue Jul 7 12:26:32 EDT 1998