✦ LIBER ✦

The equivalence problem for deterministic finite-turn pushdown automata

✍ Scribed by Leslie G. Valiant

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equivalence problem for real-time strict

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

The decidability of equivalence for dete

✍ Michio Oyamaguchi; Namio Honda 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 529 KB

Equivalence problem of non-deterministic

✍ A. Nozaki 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 511 KB

The extended equivalence problem for a c

✍ Etsuji Tomita, Kazushi Seino 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 959 KB

Synchronizable deterministic pushdown au

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

An improvement on valiant's decision pro

✍ C. Beeri 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 834 KB