An algebraic characterization of deterministic regular languages over infinite alphabets

✍ Scribed by Nissim Francez; Michael Kaminski

• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 406 KB
• Volume: 306
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(03)00246-9

✦ Synopsis

We state and prove an inÿnite alphabet counterpart of the classical Myhill-Nerode theorem.