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: