Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Restricting the Use of Auxiliary Symbols for Restarting Automata
| |
|
Technical Contributions
Restricting the Use of Auxiliary Symbols for Restarting Automata
Tomasz Jurdziński1 and Friedrich Otto2 
| (1) |
Institute of Computer Science, University of Wrocław, 51-151 Wrocław, Poland |
| (2) |
Fachbereich Mathematik/Informatik, Universität Kassel, 34109 Kassel, Germany |
Abstract
The most general models of restarting automata make use of auxiliary symbols in their rewrite operations. Here we put restrictions
on the way in which restarting automata use auxiliary symbols, and we investigate the influence of these restrictions on their
expressive power. In fact, we consider two types of restrictions. First, we consider the number of auxiliary symbols in the tape alphabet of a restarting automaton as a measure of its descriptional complexity. Secondly, we consider the number of occurrences of auxiliary symbols on the tape as a dynamic complexity measure. We establish some lower and upper bounds with respect to these complexity measures
concerning the ability of restarting automata to recognize the (deterministic) context-free languages and some of their subclasses.
This work was supported by a grant from the Deutsche Forschungsgemeinschaft. It was performed while Tomasz Jurdziński was
visiting the University of Kassel.
Fulltext Preview (Small, Large)
|
|
|
|
|
|