1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/book/src/ebnf.txt Wed Mar 23 21:10:10 2011 +0100
1.3 @@ -0,0 +1,13 @@
1.4 +Produktion = produktionsname "=" Ausdruck "."
1.5 +Ausdruck = Alternative { "|" Alternative }
1.6 +Alternative = Term { Term }
1.7 +Term = produktionsname | token [ "..." token ]
1.8 + | Gruppe | Option | Wiederholung
1.9 +Gruppe = "(" Ausdruck ")"
1.10 +Option = "[" Ausdruck "]"
1.11 +Wiederholung = "{" Ausdruck "}"
1.12 +
1.13 +| Alternation
1.14 +() Gruppierung
1.15 +[] Option (0 oder 1 mal)
1.16 +{} Wiederholung (0 bis n mal)