Next:
If there are
Up:
Distinguishing Suffixes
Previous:
Equivalence Classes
Myhill - Nerode Theorem
L
is regular iff
has a finite number of equivalence classes.
If there are finite number of equivalence classes then
L
is regular.
If
L
is regular then
has finite index.
Sushil Prasad
Mon Feb 28 15:37:03 EST 2000
has a finite number of equivalence classes.
If there are finite number of equivalence classes then L is regular.
If L is regular then has finite index.