✦ LIBER ✦

A simulation result for two-way pushdown automata

✍ Scribed by Wojciech Rytter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A simulation result for the auxiliary pu

✍ Tero Harju 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 771 KB

Two decidability results for determinist

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

A note on linear time simulation of dete

✍ Neil D. Jones 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 389 KB

A note on two-way nondeterministic pushd

✍ Wojciech Rytter 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 623 KB

On the determinacy problem for two-way p

✍ H. Petersen 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 154 KB

Notes on looping deterministic two-way p

✍ M. Ladermann; H. Petersen 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 444 KB