✦ LIBER ✦

Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages

✍ Scribed by G. Sénizergues

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On equivalence and subclass containment

✍ E.P. Friedman; S.A. Greibach 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 726 KB

On the equivalence and containment probl

✍ J. E. Hopcroft 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 407 KB

Direct proofs of the undecidability of t

✍ G. Rozenberg 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 447 KB