Church-Rosser properties for graph replacement systems with unique splitting
- 125 Downloads
Although the theories of lambda calculus and graph grammars have many goals and techniques in common, there has been little serious study of what each has to offer the other.
In this paper we begin a study of what graph grammar theory can learn from the theory of the lambda calculus, by generalising a central argument of lambda calculus theory; the best-known proof of the Church-Rosser property for the lambda calculus. Applications to the lambda calculus and elsewhere are indicated.
KeywordsDirect Derivation Replacement System Graph Grammar Lambda Calculus Derivation Sequence
Unable to display preview. Download preview PDF.
- 1.Ehrig, H., Introduction to the algebraic theory of graph grammars, in “Graph-Grammars and their Application to Computer Science and Biology”, editors V.Claus, H.Ehrig and G.Rozenberg, Springer Lecture Notes in Computer Science 73 (1979), 1–69.Google Scholar
- 2.Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B.K. and Winkowski, J., Transformations of structures: an algebraic approach, Math. System Theory 14 (1981) 305–334.Google Scholar
- 3.Hindley, R., Lercher, B., and Seldin, J.P., Introduction to Combinatory Logic, CUP, London and New York, 1972.Google Scholar
- 4.Hindley, R., Reductions of residuals are finite, Trans. Amer. Math. Soc. 240 (1978) 345–361.Google Scholar
- 5.Lévy, J.-J., Réductions correctes et optimales dans the λ-calcul, Thèse, U. Paris VII, 1978.Google Scholar
- 6.Lévy, J.-J. Optimal reductions in the lambda calculus, in “To H.B. Curry: essays in combinatory logic, lambda calculus and formalism,” editors J.P. Seldin and J.R.Hindley, Academic Press, 1980, 159–191.Google Scholar
- 7.Rosen, B.K., Tree-manipulating systems and Church-Rosser theorems, Journ. ACM 20 (1973) 160–187.Google Scholar
- 8.Staples, John, A new technique for analysing parameter passing, applied to the lambda calculus, Aust. Comp. Sci. Commun 3 (1981) 201–210.Google Scholar