DOI

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 июн 20221 июл 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/221/07/22

    Предметные области Scopus

  • Теоретические компьютерные науки
  • Компьютерные науки (все)

ID: 96946270