Graph parsing as graph transformation. Correctness of predictive top-down parsers

DOI10.1007/978-3-030-51372-6_13MaRDI QIDQ5100735zbMATHOpenAlexFDO

Authors Berthold Hoffmann, Mark Minas, Frank Drewes

Publication date 1 September 2022

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51372-6_13

zbMATH Keywords

parsinggraph transformationcorrectnesshyperedge replacement

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Predictive top-down parsing for hyperedge replacement grammars
• Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
• Predictive shift-reduce parsing for hyperedge replacement grammars
• Generalized predictive shift-reduce parsing for hyperedge replacement graph grammars
• Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars

Cites work

• scientific article; zbMATH DE number 3827233 (Why is no real title available?)
• scientific article; zbMATH DE number 193480 (Why is no real title available?)
• A parsing automata approach to LR theory
• Contextual hyperedge replacement
• Correctness of high-level transformation systems relative to nested conditions
• Double-pushout graph transformation revisited
• Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars
• Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
• Fundamentals of algebraic graph transformation
• Generalized predictive shift-reduce parsing for hyperedge replacement graph grammars
• Hyperedge replacement: grammars and languages
• On the membership problem for regular DNLC grammars
• Predictive top-down parsing for hyperedge replacement grammars
• String grammars with disconnecting or a basic root of the difficulty in graph grammar parsing

Cited in

(10)

• Compositional analysis of probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• scientific article; zbMATH DE number 3943061 (Why is no real title available?)
• Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars
• Predictive shift-reduce parsing for hyperedge replacement grammars
• Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
• Parsing and printing of and with triples
• scientific article; zbMATH DE number 6819816 (Why is no real title available?)
• Predictive top-down parsing for hyperedge replacement grammars
• scientific article; zbMATH DE number 1949649 (Why is no real title available?)

Describes a project that uses

Uses Software

• AGG

This page was built for publication: Graph parsing as graph transformation. Correctness of predictive top-down parsers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100735)