Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Finite automata traversing graphs by moving along their edges are known as graph-walking automata (GWA). This paper investigates the state complexity of union and intersection for this model. It is proved that the union of GWA with m and n states, with m⩽ n, operating on graphs with k labels of edge end-points, is representable by a GWA with 2 km+ n+ 1 states, and at least 2 (k- 3 ) (m- 1 ) + n- 1 states are necessary in the worst case. For the intersection, the upper bound is (2 k+ 1 ) m+ n and the lower bound is 2 (k- 3 ) (m- 1 ) + n- 1.
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings |
| Редакторы | Yo-Sub Han, Sang-Ki Ko |
| Издатель | Springer Nature |
| Страницы | 125-136 |
| Число страниц | 12 |
| ISBN (печатное издание) | 9783030934880 |
| DOI | |
| Состояние | Опубликовано - 30 дек 2021 |
| Событие | 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021 - Virtual, Online Продолжительность: 5 сен 2021 → 5 сен 2021 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 13037 LNCS |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| конференция | 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021 |
|---|---|
| Город | Virtual, Online |
| Период | 5/09/21 → 5/09/21 |
ID: 91382982