Regelmenge (z. B. R = {abbba}) definiert Relation auf Wörtern
R terminiert es gibt keine unendlich lange R-Ableitung (= Folge von Regel-Anwendungen)