Termbäume, Positionen

• Signatur Σ : Menge von Funktionssymbolen mit Stelligkeit, Bsp. {(s, 1),(z, 0),(p, 2)} ,
• Term(Σ) ist die kleinste Menge M mit ...

• Pos(t) : Menge der Positionen in t∈Term(Σ) : ...

• t(p) Symbol an Position p in t
• t$\mid_{p}^{}$ Teilterm an Position p in t

Beispiele:

• Term t = p(z, s(s(z))) ,
• Positionen Pos(t) = {ε, 1, 2, 21, 211} ,
• Symbol t(2) = s ,         Teilterm t|₂ = s(s(z)) ,