Unterabschnitte
Jeder Identifier besteht aus einem Buchstaben gefolgt von beliebig vielen Buchstaben oder Ziffern. |
Idf |
![$\rightarrow$](img137.png) |
Buchstabe|Buchstabe A |
A |
![$\rightarrow$](img137.png) |
Buchstabe|Buchstabe A|Ziffer|Ziffer A |
Buchstabe |
![$\rightarrow$](img137.png) |
,,A''|,,B''|...|,,Z''|,,a''|...|,,z'' |
Ziffer |
![$\rightarrow$](img137.png) |
,,0''|...|,,9'' |
|
Man kann die Ableitung eines Wortes mit Hilfe der Symbole
![$\Rightarrow$](img11.png)
und
![$\Rightarrow^{*}$](img372.png)
darstellen. Dabei steht
für die Anwendung von nur einer Regel und
-
für die Anwendung beliebig vieler Regeln.
Eine Grammatik ist ein 4er-Tupel
![$G=(V,\Sigma,P,S)$](img373.png)
wobei
: endliche Menge von Nichtterminalen44
: endliche Menge von Terminalsymbolen. Dabei gilt
.
: Produktions bzw. Regelsystem. Einzelne Teile des Systems heißen ,,Produktion'' oder ,,Regel''.
: Das Startsymbol
Die Sprache enthält alle durch die Grammatik G erzeugbaren Wörter:
Zwei Grammatiken
![$G_{1}$](img379.png)
und
![$G_{2}$](img380.png)
heißen äquivalent, wenn sie dieselbe Sprache erzeugen:
Fußnoten
- ... Nichtterminalen44
- Nichtterminale kann man auch Variablen nennen.