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.
My Menu
Saved Items

Technical Contributions

Restricting the Use of Auxiliary Symbols for Restarting Automata

Tomasz JurdzińskiContact Information and Friedrich OttoContact Information

(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.

Contact Information Tomasz Jurdziński
Email: tju@ii.uni.wroc.pl

Contact Information Friedrich Otto
Email: otto@theory.informatik.uni-kassel.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext


Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.114 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)