rotate

• 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
    • 
    • 
    • 
• About this document ...