Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование
It is known that determinizing a nondeterministic input-driven pushdown automaton (NIDPDA) of size n results in the worst case in a machine of size (R. Alur, P. Madhusudan, "Adding nesting structure to words", J.ACM 56(3), 2009). This paper considers the special case of k-path NIDPDAs, which have at most k computations on any input. It is shown that the smallest deterministic IDPDA equivalent to a k-path NIDPDA of size n is of size Θ(n k ). The paper also gives an algorithm for deciding whether or not a given NIDPDA has the k-path property, for a given k; if k is fixed, the problem is P-complete.
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Developments in Language Theory - 18th International Conference, DLT 2014, Proceedings |
| Издатель | Springer Nature |
| Страницы | 84-102 |
| Число страниц | 19 |
| ISBN (печатное издание) | 9783319096971 |
| DOI | |
| Состояние | Опубликовано - 1 янв 2014 |
| Событие | 18th International Conference on Developments in Language Theory, DLT 2014 - Ekaterinburg, Российская Федерация Продолжительность: 26 авг 2014 → 29 авг 2014 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 8633 LNCS |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| конференция | 18th International Conference on Developments in Language Theory, DLT 2014 |
|---|---|
| Страна/Tерритория | Российская Федерация |
| Город | Ekaterinburg |
| Период | 26/08/14 → 29/08/14 |
ID: 41142653