next up previous
Next: Up: Applications of Myhill-Nerode Theorem Previous: Applications of Myhill-Nerode Theorem

tex2html_wrap_inline524

displaymath520

are all distinguishable.

displaymath521

tex2html_wrap_inline528 has an infinite index.
tex2html_wrap_inline530 is not regular.


Sushil Prasad
Mon Feb 28 15:37:03 EST 2000