Next: A Minimization Procedure
Up: Myhill - Nerode Theorem
Previous: If there are
If
has infinite index (numbers of equivalence classes), then L is not regular.
- Proof. If x and y are distinguishable, they must take
an FA for L to two different states. Therefore, infinite number of
equivalence classes implies infinite number of states.
Sushil Prasad
Mon Feb 28 15:37:03 EST 2000