𝔖 Bobbio Scriptorium
✦   LIBER   ✦

L(A) = L(B)?

✍ Scribed by Géraud Sénizergues


Book ID
104445516
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
30 KB
Volume
9
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


L(A)=L(B)? A simplified decidability pro
✍ Géraud Sénizergues 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 461 KB

We give a proof of decidability of the equivalence problem for deterministic pushdown automata, which simpliÿes that of SÃ enizergues (Theoret. Comput. Sci. 251 (2000) 1).

Investment.by L. L. B. Angas
✍ Review by: Laurence H. Sloan 📂 Article 📅 1931 🏛 American Statistical Association 🌐 English ⚖ 303 KB
Investmentby L. L. B. Angas
✍ Review by: E. C. S. 📂 Article 📅 1930 🏛 Blackwell Publishing 🌐 English ⚖ 287 KB
B. Creiselius a L. Titius
✍ Miloš Kouřil 📂 Article 📅 1969 🏛 Jednota Ceskych Filologu 🌐 German ⚖ 263 KB
B A B I L O S
✍ Cyberarte 📂 Fiction 📅 2012 🌐 Spanish ⚖ 1 MB