Showing 1–7 of 7 results for author: Minas, M

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions

Authors: Mattia De Rosa, Mark Minas

Abstract: A recent paper by Drewes, Hoffmann, and Minas (GCM 2023 proceedings) 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 GrappaRE, which is described in this paper. GrappaRE allows for the convenient specification of graph languages through regul… ▽ More A recent paper by Drewes, Hoffmann, and Minas (GCM 2023 proceedings) 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 GrappaRE, which is described in this paper. GrappaRE 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. △ Less

Submitted 26 March, 2025; originally announced March 2025.

Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632

Journal ref: EPTCS 417, 2025, pp. 55-70

Finite Automata for Efficient Graph Recognition

Authors: Frank Drewes, Berthold Hoffmann, Mark Minas

Abstract: 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 determinis… ▽ More 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. △ Less

Submitted 26 March, 2025; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632

Journal ref: EPTCS 417, 2025, pp. 134-156

Proceedings Twelfth International Workshop on Graph Computational Models

Authors: Berthold Hoffmann, Mark Minas

Abstract: This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd June 2021. Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science,… ▽ More This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd June 2021. Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International GCM Workshop series is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. △ Less

Submitted 19 December, 2021; originally announced December 2021.

Journal ref: EPTCS 350, 2021

Proceedings of the Eleventh International Workshop on Graph Computation Models

Authors: Berthold Hoffmann, Mark Minas

Abstract: Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International GCM Workshop series… ▽ More Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International GCM Workshop series is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: This volume contains the post-proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020). The workshop was originally planned as part of STAF 2020 (Software Technologies: Applications and Foundations), to be held in Bergen, Norway, but then held as an online-workshop on 24th June 2020, because of the COVID-19 pandemic

Journal ref: EPTCS 330, 2020

Speeding up Generalized PSR Parsers by Memoization Techniques

Authors: Mark Minas

Abstract: Predictive shift-reduce (PSR) parsing for hyperedge replacement (HR) grammars is very efficient, but restricted to a subclass of unambiguous HR grammars. To overcome this restriction, we have recently extended PSR parsing to generalized PSR (GPSR) parsing along the lines of Tomita-style generalized LR parsing. Unfortunately, GPSR parsers turned out to be too inefficient without manual tuning. This… ▽ More Predictive shift-reduce (PSR) parsing for hyperedge replacement (HR) grammars is very efficient, but restricted to a subclass of unambiguous HR grammars. To overcome this restriction, we have recently extended PSR parsing to generalized PSR (GPSR) parsing along the lines of Tomita-style generalized LR parsing. Unfortunately, GPSR parsers turned out to be too inefficient without manual tuning. This paper proposes to use memoization techniques to speed up GPSR parsers without any need of manual tuning, and which has been realized within the graph parser distiller Grappa. We present running time measurements for some example languages; they show a significant speed up by some orders of magnitude when parsing valid graphs. But memoization techniques do not help when parsing invalid graphs or if all parses of an ambiguous input graph shall be determined. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: In Proceedings GCM 2019, arXiv:1912.08966

Journal ref: EPTCS 309, 2019, pp. 71-86

Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement

Authors: Frank Drewes, Berthold Hoffmann, Mark Minas

Abstract: Hyperedge replacement (HR) grammars can generate NP-complete graph languages, which makes parsing hard even for fixed HR languages. Therefore, we study predictive shift-reduce (PSR) parsing that yields efficient parsers for a subclass of HR grammars, by generalizing the concepts of SLR(1) string parsing to graphs. We formalize the construction of PSR parsers and show that it is correct. PSR parser… ▽ More Hyperedge replacement (HR) grammars can generate NP-complete graph languages, which makes parsing hard even for fixed HR languages. Therefore, we study predictive shift-reduce (PSR) parsing that yields efficient parsers for a subclass of HR grammars, by generalizing the concepts of SLR(1) string parsing to graphs. We formalize the construction of PSR parsers and show that it is correct. PSR parsers run in linear space and time, and are more efficient than the predictive top-down (PTD) parsers recently developed by the authors. △ Less

Submitted 14 January, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 63 pages; fixed wrong email address of one of the authors and some typos

Journal ref: Journal of Logical and Algebraic Methods in Programming, vol. 104, April 2019, pp. 303-341

Towards rule-based visual programming of generic visual systems

Authors: Berthold Hoffmann, Mark Minas

Abstract: This paper illustrates how the diagram programming language DiaPlan can be used to program visual systems. DiaPlan is a visual rule-based language that is founded on the computational model of graph transformation. The language supports object-oriented programming since its graphs are hierarchically structured. Typing allows the shape of these graphs to be specified recursively in order to incre… ▽ More This paper illustrates how the diagram programming language DiaPlan can be used to program visual systems. DiaPlan is a visual rule-based language that is founded on the computational model of graph transformation. The language supports object-oriented programming since its graphs are hierarchically structured. Typing allows the shape of these graphs to be specified recursively in order to increase program security. Thanks to its genericity, DiaPlan allows to implement systems that represent and manipulate data in arbitrary diagram notations. The environment for the language exploits the diagram editor generator DiaGen for providing genericity, and for implementing its user interface and type checker. △ Less

Submitted 10 October, 2000; originally announced October 2000.

Comments: 15 pages, 16 figures contribution to the First International Workshop on Rule-Based Programming (RULE'2000), September 19, 2000, Montreal, Canada

ACM Class: D.1.7; D.3.3