A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
We interoduce a new characterization of algebras of normal forms of term rewriting systems  as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compilerdoi:10.2478/v10037-012-0029-6 fatcat:mqw3zq6l5bfpzgfpzs3te2w7km