Pair grammars, graph languages and string-to-graph translations

DOI10.1016/S0022-0000(71)80016-8zbMath0229.68029OpenAlexW2093311785MaRDI QIDQ2550295

Terrence W. Pratt

Publication date: 1971

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(71)80016-8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Grammars and rewriting systems (68Q42)

Related Items (26)

String grammars with disconnecting or a basic root of the difficulty in graph grammar parsing ⋮ Characteristics of graph languages generated by edge replacement ⋮ Algebraic hierarchical graph transformation ⋮ Power properties of NLC graph grammars with a polynomial membership problem ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement ⋮ Multilevel graph grammars ⋮ Specification of graph translators with triple graph grammars ⋮ Unnamed Item ⋮ On the generative power of sequential and parallel programmed graph grammars ⋮ 15 Years of Triple Graph Grammars ⋮ Grammar-based model transformations: definition, execution, and quality properties ⋮ Graph grammars according to the type of input and manipulated data: a survey ⋮ On categorical graph grammars integrating structural transformations and operations on labels ⋮ Context-free hypergraph grammars have the same term-generating power as attribute grammars ⋮ Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS. ⋮ Grammars on partial graphs ⋮ Toward a mathematical theory of graph-generative systems and its applications ⋮ A class of linearly parsable graph grammars ⋮ On labelled graph grammars ⋮ Fixed-point constructions in order-enriched categories ⋮ Representing graph families with edge grammars ⋮ String and graph grammar characterizations of bounded regular languages ⋮ Semantic-syntax-directed translation and its application to image processing ⋮ Structure graphs and structure graph grammars ⋮ Hierarchical graph transformation

Uses Software

• ALGOL 60
• Euler

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Revised report on the algorithmic language ALGOL 60
• Regular expressions and the equivalence of programs
• Correspondence between ALGOL 60 and Church's Lambda-notation
• EULER: A generalization of ALGOL and its formal definition: Part 1
• Syntax-Directed Transduction
• Programming Languages and Computers: A Unified Metatheory
• Properties of Programs and the First-Order Predicate Calculus
• On the translation of languages from left to right

This page was built for publication: Pair grammars, graph languages and string-to-graph translations