✦ LIBER ✦

Classes of regular and context-free languages over countably infinite alphabets

✍ Scribed by Friedrich Otto

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic characterization of determi

✍ Nissim Francez; Michael Kaminski 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 406 KB

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

Efficient constructions of test sets for

✍ Juhani Karhuma¨ki; Wojciech Rytter; Stefan Jarominek 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 799 KB