diff -r feede61efa96 -r 866172a16472 book/src/ebnf.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/ebnf.txt	Wed Mar 23 21:10:10 2011 +0100
@@ -0,0 +1,13 @@
+Produktion       = produktionsname "=" Ausdruck "." 
+Ausdruck         = Alternative { "|" Alternative } 
+Alternative      = Term { Term } 
+Term             = produktionsname | token [ "..." token ] 
+		   | Gruppe | Option | Wiederholung 
+Gruppe           = "(" Ausdruck ")" 
+Option           = "[" Ausdruck "]" 
+Wiederholung     = "{" Ausdruck "}" 
+
+|   Alternation
+()  Gruppierung
+[]  Option (0 oder 1 mal)
+{}  Wiederholung (0 bis n mal)