𝔖 Bobbio Scriptorium

✦ LIBER ✦

Algebraic and Automata-Theoretic Properties of Formal Languages.by Seymour Ginsburg

✍ Scribed by Review by: Arto Salomaa

Book ID: 124190163
Publisher: Association for Symbolic Logic
Year: 1976
Tongue: English
Weight: 98 KB
Volume: 41
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272400

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[World Scientific Publishing Co. Pte. Lt

[World Scientific Publishing Co. Pte. Ltd. Automata, Formal Languages and Algebraic Systems - AFLAS 2008 - Kyoto, Japan (2008.09.20-2008.09.22)] Automata, Formal Languages and Algebraic Systems - Proceedings of AFLAS 2008 - GRÖBNER BASES ON ALGEBRAS BASED ON WELL-ORDERED SEMIGROUPS

✍ KOBAYASHI, YUJI 📂 Article 📅 2010 🏛 WORLD SCIENTIFIC 🌐 Chinese ⚖ 40 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || Formal properties of one-visit and multi-pass attribute grammars (extended abstract)

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 781 KB

Nonacceptability criteria and closure pr

Nonacceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata

✍ E. Fachini; A. Maggiolo Schettini; G. Resta; D. Sangiorgi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 813 KB

A note on: ‘Deque automata and a subfami

A note on: ‘Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages’ (by K. Ayers): Theoretical computer science 40(2,3) (1985) 163–174

✍ Franz J. Brandenburg 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 102 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB