Orthogonale Systeme

• ein TES R über $\Sigma$ 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 $\approx$ System R ist orthogonal und ...(nächste Folie)