Restarting automata with auxiliary symbols restricted by lookahead size

DSpace Repository

Restarting automata with auxiliary symbols restricted by lookahead size

Show full item record

Files for download

Find Full text There are no files associated with this item.

Facebook

Simple item record

Publication Article, peer reviewed scientific
Title Restarting automata with auxiliary symbols restricted by lookahead size
Author(s) Schluter, Natalie
Date 2015
English abstract
This paper presents a study on lookahead hierarchies for restarting automata with auxiliary symbols. We show that the class of languages for deterministic monotone or monotone restarting automaton, whose restart step and rewrite step are separated, coincides with that of the same type of restarting automaton whose restart and rewrite steps are not separated, for any fixed lookahead size. For the non-monotone deterministic case, the lookahead length must be approximately doubled. We then turn our attention to restarting automata with small lookahead. For the general restarting automaton model, we show that there are just two different classes of languages recognized, through the restriction of lookahead size: those with lookahead size 1 and those with lookahead size 2. We also show that the respective (left-) monotone restarting automaton models characterize the context-free languages and that the respective right-left-monotone restarting automata characterize the linear languages both with just lookahead length 2.
DOI http://dx.doi.org/10.1080/00207160.2014.926005 (link to publisher's fulltext)
Publisher Taylor & Francis
Host/Issue International Journal of Computer Mathematics;5
Volume 92
ISSN 0020-7160
Pages 908-938
Language eng (iso)
Subject(s) context-free languages
lookahead hierarchy
lookahead size
auxiliary
symbols
linear languages
Church-Rosser
restarting automata
68Q05
68Q42
68Q45
Sciences
Research Subject Categories
Handle http://hdl.handle.net/2043/19737 (link to this page)

This item appears in the following Collection(s)

Show full item record

Search


Browse

My Account

Statistics