d. h. Ableitungsmuster mit Parametern und induktiven Beweisen
linear: ∀k≥0 : akb→kbak, quadratisch: ∀k, l≥0 : akbl→k⋅lblak,
Beispiel S = {ab→baa}
linear: ∀k≥0 : akb→*ba2k
exponentiell: ∀l≥0 : abl→*bla2l