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