DOI

We look at stateless multihead finite automata in their two-way and one-way, deterministic and nondeterministic variations. The transition of a k-head automaton depends solely on the symbols currently scanned by its k heads, and every such transition moves each head one cell left or right, or instructs it to stay. We show that stateless (k∈+∈4)-head two-way automata are more powerful than stateless k-head two-way automata. In the one-way case, we prove a tighter result: stateless (k∈+∈1)-head one-way automata are more powerful than stateless k-head one-way automata. Finally, we show that the emptiness problem for stateless 2-head two-way automata is undecidable.

Язык оригиналаанглийский
Название основной публикацииLATIN 2008
Подзаголовок основной публикацииTheoretical Informatics - 8th Latin American Symposium, Proceedings
Страницы94-105
Число страниц12
DOI
СостояниеОпубликовано - 2008
Опубликовано для внешнего пользованияДа
Событие8th Latin American TheoreticalINformatics Symposium, LATIN 2008 - Buzios, Бразилия
Продолжительность: 7 апр 200811 апр 2008

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том4957 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

конференция

конференция8th Latin American TheoreticalINformatics Symposium, LATIN 2008
Страна/TерриторияБразилия
ГородBuzios
Период7/04/0811/04/08

    Предметные области Scopus

  • Теоретические компьютерные науки
  • Компьютерные науки (все)

ID: 78926861