Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
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 language | English |
---|---|
Title of host publication | Implementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings |
Editors | Pascal Caron, Ludovic Mignot |
Publisher | Springer Nature |
Pages | 177-188 |
Number of pages | 12 |
ISBN (Print) | 9783031074684 |
DOIs | |
State | Published - Jun 2022 |
Event | 26th International Conference on Implementation and Application of Automata, CIAA 2022 - Rouen, France Duration: 28 Jun 2022 → 1 Jul 2022 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 13266 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 26th International Conference on Implementation and Application of Automata, CIAA 2022 |
---|---|
Country/Territory | France |
City | Rouen |
Period | 28/06/22 → 1/07/22 |
ID: 96946270