next up previous contents
Next: Definition of ARS (A++) Up: A++ the Previous: A++ the   Contents

Definition of ARS (A++) in EBNF-Notation


expression $\textstyle ::=$ abstraction (1)
    reference  
    synthesis  
abstraction $\textstyle ::=$ define (2)
    lambda  
    expression  
reference $\textstyle ::=$ variable (3)
synthesis $\textstyle ::=$ expression (4)
variable $\textstyle ::=$ symbol (5)


Subsections
Georg P. Loczewski 2002-07-20
ORDER NOW!!!