next up previous contents
Nächste Seite: A++ - Erweiterungen Aufwärts: A++ - Erweiterung Vorherige Seite: A++ - Erweiterung   Inhalt

A++ mit Erweiterungen (EBNF)


expression $\textstyle ::=$ abstraction  
    reference  
    synthesis  
    predefined abstraction  
abstraction $\textstyle ::=$ define  
    lambda  
    expression  
reference $\textstyle ::=$ variable  
synthesis $\textstyle ::=$ operator  
variable $\textstyle ::=$ symbol  
operator  expression $\textstyle ::=$ abstraction reference synthesis  
    predefined  operation  
predefined abstraction $\textstyle ::=$ predefined  value  
    predefined  operation  
predefined  value $\textstyle ::=$ vmzero vmtrue vmfalse  
    double quoted string single quoted string  
double quoted string $\textstyle ::=$ string  
single  quoted  string $\textstyle ::=$ string  
predefined  operation $\textstyle ::=$ incr print load equalx quit  

Abbildung 3.3: A++ mit vorgegebenen Primitiv-Operationen
ARS extensions

next up previous contents
Nächste Seite: A++ - Erweiterungen Aufwärts: A++ - Erweiterung Vorherige Seite: A++ - Erweiterung   Inhalt

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