Termination und Normalisierung

Für eine zweistellige Relation $ \rho$ auf M

(zum Beispiel eine Ersetzungsrelation $ \to_{R}^{}$ auf Term($ \Sigma$))

Beachte: es gibt $ \rho$, die schwach, aber nicht stark normalisieren.

Beispiel (Wortersetzung): fgfg$ \to$gfgffg (Alfons Geser, 2000)



Johannes Waldmann 2007-01-30