Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
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 апр 2008 → 11 апр 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/08 → 11/04/08 |
ID: 78926861