next up previous contents
Nächste Seite: Anmerkungen zur Syntax Aufwärts: Sprachdefinition (EBNF) Vorherige Seite: EBNF-Notation   Inhalt

Sprachdefinition (EBNF)


expression $\textstyle ::=$ abstraction  
    reference  
    synthesis  
abstraction $\textstyle ::=$ variable  
    expression  
    lambda  
    expression  
reference $\textstyle ::=$ variable  
synthesis $\textstyle ::=$ expression  
    expression  
variable $\textstyle ::=$ symbol  



Georg P. Loczewski 2003-07-18
Buchbestellung hier!!!