Next:
Distinguishing Suffixes
Up:
No Title
Previous:
No Title
Distinguishing Suffixes
Distinguishing Suffixes
An Equivalence Relation on
L
Equivalence Classes
Myhill - Nerode Theorem
If there are finite number of equivalence classes then
L
is regular.
If
L
is regular then
has finite index.
A Minimization Procedure
Applications of Myhill-Nerode Theorem
Sushil Prasad
Mon Feb 28 15:37:03 EST 2000
If there are finite number of equivalence classes then L is regular.
If L is regular then 
has finite index.