✦ LIBER ✦

A regularity test for pushdown machines

✍ Scribed by R.E. Stearns

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A real-time strictness test for determin

✍ Michio Oyamaguchi; Yasuyoshi Inagaki; Namio Honda 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 448 KB

Model checking LTL with regular valuatio

✍ Javier Esparza; Antonı́n Kučera; Stefan Schwoon 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 212 KB

A regularity test for dual borderedOSsys

✍ W. Bucher 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 411 KB

A test for strict sign-regularity

✍ M. Gasca; J.M. Peña 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 587 KB

On reversal-bounded counter machines and

✍ Pavol Duris; Zvi Galil 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 482 KB

A transmission for testing machines

✍ V. N. Eremenko; Ya. V. Natanzon; S. G. Zbarazskii 📂 Article 📅 1970 🏛 Springer 🌐 English ⚖ 117 KB