✦ LIBER ✦

A real-time strictness test for deterministic pushdown automata

✍ Scribed by Michio Oyamaguchi; Yasuyoshi Inagaki; Namio Honda

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

The extended equivalence problem for a c

✍ Etsuji Tomita, Kazushi Seino 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 959 KB

A note on linear time simulation of dete

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

Conformance Tests for Real-Time Systems

✍ Rachel Cardell-Oliver 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 174 KB

A Method for Designing a Deterministic T

✍ María José López; Mar Martínez; Salvador Bracho 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 90 KB

A real-time recognition of languages for

✍ Hiromi Miyajima 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB