Digitala Vetenskapliga Arkivet

Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Finite automata for efficient graph recognition
Umeå University, Faculty of Science and Technology, Department of Computing Science. (drewes@cs.umu.se)ORCID iD: 0000-0001-7349-7693
University of Bremen, Germany.
Universität der Bundeswehr München, Germany.
2025 (English)In: EPTCS 417: proceedings of the fourteenth and fifteenth international workshop on graph computation models / [ed] Jörg Endrullis; Dominik Grzelak; Tobias Heindel; Jens Kosiol, Open Publishing Association , 2025, Vol. 417, p. 134-156Conference paper, Published paper (Refereed)
Abstract [en]

Engelfriet and Vereijken have shown that linear graph grammars based on hyperedge replacement generate graph languages that can be considered as interpretations of regular string languages over typed symbols. In this paper we show that finite automata can be lifted from strings to graphs within the same framework. For the efficient recognition of graphs with these automata, we make them deterministic by a modified powerset construction, and state sufficient conditions under which deterministic finite graph automata recognize graphs without the need to use backtracking.

Place, publisher, year, edition, pages
Open Publishing Association , 2025. Vol. 417, p. 134-156
Series
Electronic proceedings in theoretical computer scienc, ISSN 2075-2180 ; 417
Keywords [en]
graph automaton, recognition
National Category
Formal Methods
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:umu:diva-236974DOI: 10.4204/EPTCS.417.8Scopus ID: 2-s2.0-105001924158OAI: oai:DiVA.org:umu-236974DiVA, id: diva2:1947760
Conference
15th International Workshop on Graph Computation Models, Enshede, the Netherlands, July 9, 2024
Projects
STING – Synthesis and analysis with Transducers and Invertible Neural Generators
Funder
Knut and Alice Wallenberg FoundationAvailable from: 2025-03-26 Created: 2025-03-26 Last updated: 2025-05-07Bibliographically approved

Open Access in DiVA

fulltext(1055 kB)30 downloads
File information
File name FULLTEXT01.pdfFile size 1055 kBChecksum SHA-512
b9fb2b060ec05360ceda3793cebed922ec58691bb2a71165f85c97d8053b1300ea5c0fe10792b1cd0bca7bf8ca2119554695be890e9529d39b62d5766f87ca9e
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Drewes, Frank
By organisation
Department of Computing Science
Formal Methods

Search outside of DiVA

GoogleGoogle Scholar
Total: 31 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 332 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf