𝔖 Bobbio Scriptorium
✦   LIBER   ✦

B. Creiselius a L. Titius

✍ Scribed by Miloš Kouřil


Book ID
125251152
Publisher
Jednota Ceskych Filologu
Year
1969
Tongue
German
Weight
263 KB
Volume
92
Category
Article
ISSN
0024-4457

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


L(A) = L(B)?
✍ Géraud Sénizergues 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 30 KB
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).

B A B I L O S
✍ Cyberarte 📂 Fiction 📅 2012 🌐 Spanish ⚖ 1 MB