Partial Clones of Terms : Eliva Press : 9789999314077 : 9999314074 : 10 Jan 2024 : Words are strings of letters from a fixed alphabet. Sets of words are said to be formal languages. Natural languages, but also programming languages, are examples of such formal languages. On the set of all words the concatenation is a binary associative operation which produces a new word from any two given words. Therefore, there is a semigroup defined on the set of all words on an alphabet. This semigroup is an algebra of type (2), i.e., it has one binary operation satisfying the associative identity. Many properties of words and formal languages can be described by the algebraic properties of the word semigroup. To get languages of more expressive power, words can be generalized to terms using one more alphabet consisting of operation symbols. The combination of n+1 terms to a new term can be described by an (n+1)-ary superposition operation. This superposition operation satisfies the superassociativ