scientific article; zbMATH DE number 408785
From MaRDI portal
zbMath0783.03018MaRDI QIDQ4202929
Y. Bargury, Johann A. Makowsky
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
regular expressionsexpressive powermulti-dimensional grids2-D pictureslanguages recognized by 2-way multi-head automatastring models definable by Transitive Closure formulas
Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)
Related Items
On the power of tree-walking automata., Monadic partition logics and finite automata, Monadic Second-Order Logic and Transitive Closure Logics over Trees, Classifying regular languages by a split game, Automata on finite trees, Characterizing weighted MSO for trees by branching transitive closure logics