✦ LIBER ✦

The extended equivalence problem for a class of non-real-time deterministic pushdown automata

✍ Scribed by Etsuji Tomita, Kazushi Seino

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

A polynomial time algorithm for the loca

✍ Kim, S.M.; McNaughton, R.; McCloskey, R. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 760 KB

Decidability of the equivalence problem

✍ S. K. Shukuryan 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 500 KB

Comparison of two-sided automata with re

✍ S. K. Shukuryan 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 699 KB