A class of replacement systems with simple optimality theory

DOI10.1017/S0004972700010625zbMath0383.68062MaRDI QIDQ4162682

John Staples

Publication date: 1977

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of software (68N99)

Related Items

Computation on graph-like expressions, Optimal evaluations of graph-like expressions, Speeding up subtree replacement systems, Transformations of structures: An algebraic approach

Cites Work

• Tree-Manipulating Systems and Church-Rosser Theorems
• Unnamed Item