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 2004-06-30