- ein TES R
über Σ
heißt nichtüberlappend,
wenn R
keine kritischen Paare besitzt.
- ein TES R
heißt linkslinear,
wenn in keiner linken Regelseite
eine Variable mehrfach vorkommt.
- ein TES R
heißt orthogonal,
falls es linkslinear und nichtüberlappend ist.
Satz: jedes orthogonale System ist konfluent.
Funktionale Programmierung
System R
ist orthogonal und ...(nächste Folie)
Johannes Waldmann
2015-12-11