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.

Original languageEnglish
Title of host publicationImplementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings
EditorsPascal Caron, Ludovic Mignot
PublisherSpringer Nature
Pages177-188
Number of pages12
ISBN (Print)9783031074684
DOIs
StatePublished - Jun 2022
Event26th International Conference on Implementation and Application of Automata, CIAA 2022 - Rouen, France
Duration: 28 Jun 20221 Jul 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13266 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference26th International Conference on Implementation and Application of Automata, CIAA 2022
Country/TerritoryFrance
CityRouen
Period28/06/221/07/22

    Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

ID: 96946270