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