STAF 2024 (series) / GCM 2024 (series) / GCM 2024 /
GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
A recent paper by Drewes, Hoffmann, and Minas (GCM 2023 proceedings, to appear) has shown that certain graph languages can be defined and efficiently recognized by finite automata when strings over typed symbols are interpreted as graphs. This approach has been implemented in the tool Grappa RE, which is described in this paper. Grappa RE allows for the convenient specification of graph languages through regular expressions, converts each of them into a minimized deterministic finite automaton, and checks whether it can recognize graphs without the need for backtracking. Measurements confirm that recognition runs in linear time.
Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 30mResearch paper | Linear-Time Graph Programs for Unrestricted Graphs GCM Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York Pre-print | ||
11:30 30mResearch paper | Scalable Pattern Matching in Computation Graphs GCM Pre-print | ||
12:00 30mResearch paper | GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions GCM Pre-print |