Termination für Ersetzungs-Systeme

Regelmenge (z. B. R = {ab$ \to$bba})
definiert Relation auf Wörtern

R terminiert $ \iff$ es gibt keine unendlich lange R-Ableitung (= Folge von Regel-Anwendungen)



Johannes Waldmann 2006-06-26