𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finite counting automata

✍ Scribed by M.P. Schützenberger


Book ID
114036386
Publisher
Elsevier Science
Year
1962
Weight
769 KB
Volume
5
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Robust RBF finite automata
✍ Michal Šorel; Jiřı́ Šı́ma 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 310 KB
Finite-turn checking automata
✍ Rani Siromoney 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 443 KB

A one-to-one correspondence is established between the class of all equal matrix languages and the class of finite-turn checking automata. This checking automaton is provided with a counter in its memory to keep track of the number of turns of the stack-head. Several closure properties of this famil