Term-Algebren

zu gegebener Signatur Σ = (S, F, T)

betrachte Menge der Bäume (Terme) Term(Σ)

• jeder Knoten t ist markiert durch ein f∈F

  bezeichne T(f )= [s₁,…, s_k, s],

  die Sorte von t ist sort(t) = s = last(T(f ))

• t hat Kinder t₁…, t_k,

  und ∀i : 1≤i≤k : sort(t_i) = s_i

• interpretiere Sortensymbol s_i durch {t | sort(t) = s_i}

  und Fktssymb. f durch Fkt. (t₁,…, t_k) f (t₁,…, t_k)