STAF 2023
Tue 18 - Fri 21 July 2023 Leicester, United Kingdom
Tue 18 Jul 2023 15:38 - 15:45 at Willow - GCM Session 3 Chair(s): Jens Kosiol

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 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
7m
Talk
A high-level functional programming language for interaction nets
GCM
P: Marc Thatcher University of Sussex
15:38
7m
Talk
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
7m
Talk
Towards Efficient Boltzmann Sampling with Graph Generative Models and Constraints
GCM
P: Justin Diamond University of Basel, Markus Lill University of Basel
15:53
7m
Talk
Random Graph Generation in Context-Free Graph Languages
GCM
P: Federico Vastarini University of York, Detlef Plump University of York
16:00
60m
Other
Open Discussion
GCM