Notes on TRAFOLA, II : the objects of the transformation language and the operations upon them

Abstract

This note tries to treat formally several features introduced in the Study Note ´A Proposal for the Syntactic Part of the PROSPECTRA Transformation Language´, referred to as [1] in the sequel. At first we consider values and the operations on them. The term fragments of the study note contained exactly one hole, this will be generalized. Different kinds of syntactic insertion (inserting values into holes of another value) will be introduced, and their algebraic properties will be investigated. At last, we shall consider the number of partitions of a given term into an upper and lower fragment. At the end of this document, we give a summary of all definitions and theorems contained in it as a quick reference.