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

tex2html_wrap_inline532

tex2html_wrap_inline534 are all distinguishable.
tex2html_wrap_inline536 and tex2html_wrap_inline538 are distinguishable
because tex2html_wrap_inline540 tex2html_wrap_inline542 for tex2html_wrap_inline544 .


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