✦ LIBER ✦

Equivalence problem for real-time strict deterministic pushdown automata

✍ Scribed by V. Yu. Romanovskii

Publisher: Springer US
Year: 1980
Tongue: English
Weight: 867 KB
Volume: 16
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01078498

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The equivalence problem for deterministi

The equivalence problem for deterministic two-tape automata

✍ Malcolm Bird 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 715 KB

A decision procedure is described for equivalence of deterministic two-tape (oneway) automata. ## l. INTRODUCTION The notion of an n-tape (one-way, deterministic) automaton was introduced by Rabin and Scott [2]. Although the properties of these devices have been studied extensively, no answer has

Deterministic equivalent for a continuou

Deterministic equivalent for a continuous-time linear-convex stochastic control problem

✍ S. Sethi; M. I. Taksar 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 537 KB