Over the last 30 years or so many results have appeared on the descriptional complexity of machines with limited resources. Since these results have appeared in a variety of different contexts, our goal here is to provide a survey of these results. Particular emphasis is put on limiting resources (e.g., nondeterminism, ambiguity, lookahead, etc.) for various types of finite state machines, pushdown automata, parsers and cellular automata and on the effect it has on their descriptional complexity. We also address the question of how descriptional complexity might help in the future to solve practical issues, such as software reliability. 1.) C. S. Calude, K. Salomaa, S. Yu (eds.). Advances and Trends in Automata and Formal Languages. A Coll...
In the realm of descriptional complexity, systems are compared on the basis of their size. Here, we ...
It is well known that the pushdown store language P(M) of a pushdown automaton (PDA) M - i.e., the l...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...
Formal languages can be described by several means. A basic question is how succinctly can a descrip...
Limited automata are single-tape Turing machines with severe rewriting restrictions. They have been ...
It is well known that the class of regular languages coincides with the class of languages recognize...
This thesis analyzes the descriptional power of finite automata, regular expressions, pushdown auto...
AbstractWe investigate the descriptional complexity of deterministic two-way k-head finite automata ...
The proceedings contain 24 papers. The special focus in this conference is on Descriptional Complexi...
We study the descriptional complexity of cellular automata (CA), a parallel model of computation. We...
AbstractIt is well known that a context-free language defined over a one-letter alphabet is regular....
International audienceWe study the decidability and computational complexity for several decision pr...
It is well known that a context-free language defined over a one-letter alphabet is regular. This im...
AbstractWatson–Crick automata are finite state automata working on double-stranded tapes, introduced...
AbstractWe consider deterministic and nondeterministic finite automata with acceptance conditions th...
In the realm of descriptional complexity, systems are compared on the basis of their size. Here, we ...
It is well known that the pushdown store language P(M) of a pushdown automaton (PDA) M - i.e., the l...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...
Formal languages can be described by several means. A basic question is how succinctly can a descrip...
Limited automata are single-tape Turing machines with severe rewriting restrictions. They have been ...
It is well known that the class of regular languages coincides with the class of languages recognize...
This thesis analyzes the descriptional power of finite automata, regular expressions, pushdown auto...
AbstractWe investigate the descriptional complexity of deterministic two-way k-head finite automata ...
The proceedings contain 24 papers. The special focus in this conference is on Descriptional Complexi...
We study the descriptional complexity of cellular automata (CA), a parallel model of computation. We...
AbstractIt is well known that a context-free language defined over a one-letter alphabet is regular....
International audienceWe study the decidability and computational complexity for several decision pr...
It is well known that a context-free language defined over a one-letter alphabet is regular. This im...
AbstractWatson–Crick automata are finite state automata working on double-stranded tapes, introduced...
AbstractWe consider deterministic and nondeterministic finite automata with acceptance conditions th...
In the realm of descriptional complexity, systems are compared on the basis of their size. Here, we ...
It is well known that the pushdown store language P(M) of a pushdown automaton (PDA) M - i.e., the l...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...