LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach
We further investigate the use of LR-based parsing for languages generated by hyperedge replacement grammars (HRGs). Previous work successfully used predictive shift-reduce (PSR) parsing. Here, we turn our attention to positional LR (pLR) parsing. This approach has been devised to parse many kinds of non-string languages mainly in the domain of visual languages, such as iconic, box, box-and-arrows, and statechart-like languages, among others. Moreover, several tools based on positional parsers have been implemented so far.
In this paper, we give formal rules to translate HRGs into positional grammars: we first provide a simple translation to generic positional grammars and then define an algorithm to transform these grammars into well-formed positional grammars, i.e., grammars that are guaranteed to be parsable according to the positional parsing methodology. We show how the pLR parsing methodology applies to hypergraph languages, that it always guarantees the construction of a parser, and discuss the time and space complexity of the well-forming transformation. As a further contribution we implement our approach in a prototype tool and demonstrate it on the running example.
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 12:30 | |||
11:00 30mTalk | Conditional Borrowing Hyperedge Replacement ICGT Research Papers Frank Drewes Umeå universitet, Berthold Hoffmann Universitt Bremen, Mark Minas Universität der Bundeswehr München | ||
11:30 30mTalk | LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach ICGT Research Papers Gennaro Costagliola Università di Salerno, Mattia De Rosa University of Salerno, Salvatore La Torre Università degli Studi di Salerno | ||
12:00 30mTalk | Parallel Transformations as Colimits ICGT Research Papers Thierry Boy de La Tour CNRS and University Grenoble Alpes | ||