J. Engelfriet and J. J. Vereijken have shown that linear graph grammars based on hyperedge replacement and regular graph expressions can be considered as interpretations of linear string grammars. In this paper we show that finite graph automata can be lifted from strings to graphs within the same framework. For the efficient recognition of graphs, we define how finite graph automata can be factorized by a modified powerset construction, and state sufficient conditions, uniques start nodes and free edge choice, under which factorized graph automata recognize graphs predictively, without backtracking, and in linear time.
Tue 18 JulDisplayed time zone: London change
Tue 18 Jul
Displayed time zone: London change
15:30 - 17:00 | GCM Session 3GCM at Willow Chair(s): Jens Kosiol Universität Kassel Remote Participants: Zoom Link, YouTube Livestream | ||
15:30 7mTalk | A high-level functional programming language for interaction nets GCM | ||
15:38 7mTalk | Finite Automata for Efficient Graph Recognition GCM Frank Drewes Umeå universitet, Berthold Hoffmann Universität Bremen, P: Mark Minas Universität der Bundeswehr München | ||
15:45 7mTalk | Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints GCM | ||
15:53 7mTalk | Random Graph Generation in Context-Free Graph Languages GCM | ||
16:00 60mOther | Open Discussion GCM |