Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Finite automata traversing graphs by moving along their edges are known as graph-walking automata (GWA). This paper investigates the state complexity of union and intersection for this model. It is proved that the union of GWA with m and n states, with m⩽ n, operating on graphs with k labels of edge end-points, is representable by a GWA with 2 km+ n+ 1 states, and at least 2 (k- 3 ) (m- 1 ) + n- 1 states are necessary in the worst case. For the intersection, the upper bound is (2 k+ 1 ) m+ n and the lower bound is 2 (k- 3 ) (m- 1 ) + n- 1.
| Original language | English |
|---|---|
| Title of host publication | Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings |
| Editors | Yo-Sub Han, Sang-Ki Ko |
| Publisher | Springer Nature |
| Pages | 125-136 |
| Number of pages | 12 |
| ISBN (Print) | 9783030934880 |
| DOIs | |
| State | Published - 30 Dec 2021 |
| Event | 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021 - Virtual, Online Duration: 5 Sep 2021 → 5 Sep 2021 |
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 13037 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
| Conference | 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021 |
|---|---|
| City | Virtual, Online |
| Period | 5/09/21 → 5/09/21 |
ID: 91382982