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 languageEnglish
Title of host publicationDescriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings
EditorsYo-Sub Han, Sang-Ki Ko
PublisherSpringer Nature
Pages125-136
Number of pages12
ISBN (Print)9783030934880
DOIs
StatePublished - 30 Dec 2021
Event23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021 - Virtual, Online
Duration: 5 Sep 20215 Sep 2021

Publication series

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

Conference

Conference23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021
CityVirtual, Online
Period5/09/215/09/21

    Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

ID: 91382982