Processes of transforming structures

摘要

Transformations of relational structures by applying productions have been studied. Processes of transforming structures are considered and a method of composing such processes is developed. The processes generalize derivation trees of context-free grammars. The method of composing processes generalizes the operations on derivation trees. Church-Rosser properties of processes are stated.