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 (4)

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

This page was built for publication: A class of replacement systems with simple optimality theory