Regelmenge (z. B. R = {abbba}) definiert Relation auf Wörtern
R terminiert es gibt keine unendlich lange R-Ableitung (= Folge von Regel-Anwendungen)
Beispiel: p = q = 2, r = s = 3.