Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Graph-walking automata (GWA) analyze an input graph by moving between its nodes, following the edges. This paper investigates the effect of node-replacement graph homomorphisms on recognizability by these automata. The family of graph languages recognized by GWA is closed under inverse homomorphisms. The main result of this paper is that, for n-state automata operating on graphs with k labels of edge end-points, the inverse homomorphic images require GWA with kn+ O(1 ) states in the worst case. The second result is that already for tree-walking automata, the family they recognize is not closed under injective homomorphisms; here the proof is based on a homomorphic characterization of regular tree languages.
| Язык оригинала | английский |
|---|---|
| Название основной публикации | Implementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings |
| Редакторы | Pascal Caron, Ludovic Mignot |
| Издатель | Springer Nature |
| Страницы | 177-188 |
| Число страниц | 12 |
| ISBN (печатное издание) | 9783031074684 |
| DOI | |
| Состояние | Опубликовано - июн 2022 |
| Событие | 26th International Conference on Implementation and Application of Automata, CIAA 2022 - Rouen, Франция Продолжительность: 28 июн 2022 → 1 июл 2022 |
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 13266 LNCS |
| ISSN (печатное издание) | 0302-9743 |
| ISSN (электронное издание) | 1611-3349 |
| конференция | 26th International Conference on Implementation and Application of Automata, CIAA 2022 |
|---|---|
| Страна/Tерритория | Франция |
| Город | Rouen |
| Период | 28/06/22 → 1/07/22 |
ID: 96946270