Es sei ein Symbolalphabet S{\displaystyle {}S} einer Sprache erster Stufe gegeben. Man gebe ein Beispiel für eine Substitution t1,…,tkx1,…,xk{\displaystyle {}{\frac {t_{1},\ldots ,t_{k}}{x_{1},\ldots ,x_{k}}}} und einen S{\displaystyle {}S}-Ausdruck α{\displaystyle {}\alpha } derart, dass die sukzessive substituierten Ausdrücke