Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
It is proved that a two-way alternating finite automaton (2AFA) with n states can be transformed to an equivalent one-way nondeterministic finite automaton (1NFA) with f(n)=2Θ(n logn) states, and that this number of states is necessary in the worst case already for the transformation of a two-way automaton with universal nondeterminism (2Π1FA) to a 1NFA. At the same time, an n-state 2AFA is transformed to a 1NFA with (2 n -1)2+1 states recognizing the complement of the original language, and this number of states is again necessary in the worst case. The difference between these two trade-offs is used to show that complementing a 2AFA requires at least Ω(n logn) states.
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings |
| Издатель | Springer Nature |
| Страницы | 291-302 |
| Число страниц | 12 |
| Издание | PART 1 |
| ISBN (печатное издание) | 9783662445211 |
| DOI | |
| Состояние | Опубликовано - 1 янв 2014 |
| Событие | 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014 - Budapest, Венгрия Продолжительность: 25 авг 2014 → 29 авг 2014 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Номер | PART 1 |
| Том | 8634 LNCS |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| конференция | 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014 |
|---|---|
| Страна/Tерритория | Венгрия |
| Город | Budapest |
| Период | 25/08/14 → 29/08/14 |
ID: 41139395