Membership for growing context-sensitive grammars is polynomial
Journal of Computer and System Sciences
Church-Rosser Thue systems and formal languages
Journal of the ACM (JACM)
Theoretical Computer Science
Membership problems for regular and context-free trace languages
Information and Computation
Intersection and union of regular languages and state complexity
Information Processing Letters
Handbook of formal languages, vol. 2
Contextual grammars and natural languages
Handbook of formal languages, vol. 2
Contextual grammars and formal languages
Handbook of formal languages, vol. 2
Growing context-sensitive languages and Church-Rosser languages
Information and Computation
On monotonic automata with a restart operation
Journal of Automata, Languages and Combinatorics
Lookahead hierarchies of restarting automata
Journal of Automata, Languages and Combinatorics - Special issue: selected papers of the second internaional workshop on Descriptional Complexity of Automata, Grammars and Related Structures (London, Ontario, Canada, July 27-29, 2000)
The Book of Traces
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Introduction to Formal Language Theory
Introduction to Formal Language Theory
A Taxonomy of Forgetting Automata
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
On Restarting Automata with Rewriting
New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday)
Different Types of Monotonicity for Restarting Automata
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Selected Types of Pg-Ambiguity: Processing Based on Analysis by Reduction
TDS '00 Proceedings of the Third International Workshop on Text, Speech and Dialogue
FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
Succinct description of regular languages by weak restarting automata
Information and Computation
Non-recursive trade-offs for deterministic restarting automata
Journal of Automata, Languages and Combinatorics
On lookahead hierarchies for monotone and deterministic restarting automata with auxiliary symbols
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Fundamenta Informaticae - Non-Classical Models of Automata and Applications
An automata-theoretical characterization of context-free trace languages
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Globally deterministic CD-systems of stateless R(1)-automata
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Restarting automata with auxiliary symbols and small lookahead
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Characterizing the regular languages by nonforgetting restarting automata
DLT'11 Proceedings of the 15th international conference on Developments in language theory
On nonforgetting restarting automata that are deterministic and/or monotone
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
CD-systems of stateless deterministic r(1)-automata accept all rational trace languages
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
On the gap-complexity of simple RL-Automata
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Strictly deterministic CD-systems of restarting automata
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Hi-index | 0.00 |
The restarting automaton is a machine model that is motivated by the technique of analysis by reduction from linguistics. It consists of a finite-state control, a flexible tape with end markers and a read/write window of fixed size. This paper begins with a short description of the general model of the restarting automaton and its major variants. In particular, the question for the influence of the size of the read/write window on the expressive power of the various types of restarting automata is addressed. The main part then focuses on the weakest model of the restarting automaton and its variants: the so-called R-automaton with a read/write window of size one (R(1)-automaton for short). It is well-known that R(1)-automata only accept regular languages, but it will be shown that several seemingly rather powerful extensions have just the same expressive power. Accordingly it is of interest to study the descriptional complexity of these types of restarting automata in relation to the R(1)-automata on the one hand and the (deterministic and nondeterministic) finite-state acceptors on the other hand. Then various types of cooperating distributed systems (CD-systems) of deterministic R(1)-automata are presented. If all components of such a system are stateless, then the language accepted by the system has a semi-linear Parikh image, and actually the rational trace languages and the context-free trace languages have been characterized in terms of certain CD-systems of stateless deterministic R(1)-automata. Also for these devices the question for their descriptional complexity will be addressed in short.