- Für TES R
über Σ
:
ein Symbol
f∈Σ
heißt definiert,
wenn es als Wurzel einer linken Regelseite in R
vorkommt.
- Alle anderen Symbole heißten Konstruktoren.
- R
heißt Konstruktor-System,
falls in jeder linken Seite
nur ein definiertes Symbol vorkommt
(und zwar in der Wurzel).
Beispiele:
{P(Z, y)→..., P(S(x), y)→..., M(Z, y)→..., M(S(x), y)→...}
ist Konstruktor-System, definierte Symbole sind {P, M}
,
Konstruktoren sind {S, Z}
aber
{A(A(D, x), y)→A(x, A(x, y))}
nicht.
Johannes Waldmann
2015-12-11