Umeå universitets logga

umu.sePublikationer
Driftstörningar
Det förekommer återkommande driftstörningar på några av sök-portalerna på grund av hög belastning. Vi arbetar på att lösa problemet, ni kan tillfälligt mötas av ett felmeddelande.
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Finite automata for efficient graph recognition
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. (drewes@cs.umu.se)ORCID-id: 0000-0001-7349-7693
University of Bremen, Germany.
Universität der Bundeswehr München, Germany.
2025 (Engelska)Ingår i: 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, s. 134-156Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Open Publishing Association , 2025. Vol. 417, s. 134-156
Serie
Electronic proceedings in theoretical computer scienc, ISSN 2075-2180 ; 417
Nyckelord [en]
graph automaton, recognition
Nationell ämneskategori
Formella metoder
Forskningsämne
datalogi
Identifikatorer
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
Konferens
15th International Workshop on Graph Computation Models, Enshede, the Netherlands, July 9, 2024
Projekt
STING – Synthesis and analysis with Transducers and Invertible Neural Generators
Forskningsfinansiär
Knut och Alice Wallenbergs StiftelseTillgänglig från: 2025-03-26 Skapad: 2025-03-26 Senast uppdaterad: 2025-05-07Bibliografiskt granskad

Open Access i DiVA

fulltext(1055 kB)115 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1055 kBChecksumma SHA-512
b9fb2b060ec05360ceda3793cebed922ec58691bb2a71165f85c97d8053b1300ea5c0fe10792b1cd0bca7bf8ca2119554695be890e9529d39b62d5766f87ca9e
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Person

Drewes, Frank

Sök vidare i DiVA

Av författaren/redaktören
Drewes, Frank
Av organisationen
Institutionen för datavetenskap
Formella metoder

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 116 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 1098 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf