DOI

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.

Язык оригиналаанглийский
Название основной публикацииDescriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings
РедакторыYo-Sub Han, Sang-Ki Ko
ИздательSpringer Nature
Страницы125-136
Число страниц12
ISBN (печатное издание)9783030934880
DOI
СостояниеОпубликовано - 30 дек 2021
Событие23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021 - Virtual, Online
Продолжительность: 5 сен 20215 сен 2021

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том13037 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

конференция

конференция23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Format Systems, DCFS 2021
ГородVirtual, Online
Период5/09/215/09/21

    Предметные области Scopus

  • Теоретические компьютерные науки
  • Компьютерные науки (все)

ID: 91382982