Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power

DOI10.1007/978-3-031-09843-7_1MaRDI QIDQ6487303zbMATH OpenFDO

Authors Frank Drewes, Berthold Hoffmann, Mark Minas

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-09843-7_1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars
• The complexity of graph languages generated by hyperedge replacement
• scientific article; zbMATH DE number 522845
• Hyperedge replacement: grammars and languages
• scientific article; zbMATH DE number 522836

Cites work

• A navigational logic for reasoning about graph properties
• Contextual hyperedge replacement
• Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
• Fundamentals of algebraic graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Hyperedge replacement: grammars and languages
• Metatheorems for decision problems on hyperedge replacement graph languages
• Predictive shift-reduce parsing for hyperedge replacement grammars
• Predictive top-down parsing for hyperedge replacement grammars
• Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars
• Semantics of context-free languages
• Semantics of context-free languages: Correction
• The intrinsically exponential complexity of the circularity problem for attribute grammars

Cited in

(4)

• Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars
• Transduction from trees to graphs through folding
• On the power of local graph expansion grammars with and without additional restrictions
• Finite automata for efficient graph recognition

This page was built for publication: Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power

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