An algebraic structure for derivations in rewriting systems☆

https://doi.org/10.1016/0304-3975(88)90039-4Get rights and content
Under an Elsevier user license
open archive

Abstract

In the present paper a uniform description of the algebraic properties of derivations in a rewriting system, and of their syntax and semantics is proposed on the base of a polycategory structure. Similarity relations between derivations are studied on syntax and semantic levels. Several canonical derivation forms are described.

Cited by (0)

☆

This research was supported by the Ministry of Education of Finland.

Copyright © 1988 Published by Elsevier B.V.