Unterabschnitte
Ein Sprachtyp

heißt

unter

, falls für die Sprachen

und

vom Typ

gilt:
Die Sprache

wird gebildet, indem man

und

vereinigt
45 und ein neues Startsymbol einfügt, von welchem auf die Startsymbole von

und

gezeigt wird:
Die Sprache

enthält dann alle Wörter die die beiden Sprachen auch enthalten haben.
Mit der Konkatenation (

) werden die beiden Grammatiken hintereinandergeschaltet. Zuerst kommt ein Wort der Sprache

, dann eins der Sprache

. Dies erreicht man indem man ein neues Startsymbol

einführt und für dieses folgende Regel definiert:
Beim Kleenabschluß (

) kommen beliebig viele Wörter der Grammatik G hintereinander
46.
Fußnoten
- ... vereinigt45
-
- ... hintereinander46
- Klar, wie man das macht: