1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/paper/src/ebnf.txt	Fri Jun 04 13:48:28 2010 +0200
     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)