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