✦ LIBER ✦

The decidability of equivalence for deterministic stateless pushdown automata

✍ Scribed by Michio Oyamaguchi; Namio Honda

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synchronizable deterministic pushdown au

✍ Karel Culik; Juhani Karhumäki 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 507 KB

Two decidability results for determinist

✍ Matti Linna 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 1013 KB

Deterministic pushdown-CD-systems of sta

✍ Benedek Nagy, Friedrich Otto 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 361 KB

On the decidability of equivalence for d

✍ Oscar H. Ibarra; Louis E. Rosier 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 637 KB

The equivalence problem for deterministi

✍ Leslie G. Valiant 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 500 KB

Equivalence problem for real-time strict

✍ V. Yu. Romanovskii 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 867 KB