next up previous
Next: Myhill - Nerode Theorem Up: An Equivalence Relation on Previous: An Equivalence Relation on

Equivalence Classes

Let [x] = set of those strings which are indistinguishable from x.

e.g. For tex2html_wrap_inline424
tex2html_wrap_inline438
tex2html_wrap_inline440
tex2html_wrap_inline442
tex2html_wrap_inline444

tex2html_wrap_inline392 for all strings in [x] can be the same state.



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