next up previous contents
Nächste Seite: ARS++ - erste Ausbaustufe Aufwärts: Sprachdefinition I Vorherige Seite: Sprachdefinition I   Inhalt

Sprachdefinition (EBNF)


expression $\textstyle ::=$ abstraction  
    reference  
    synthesis  
    predefined  
abstraction $\textstyle ::=$ define  
    lambda  
    expression  
reference $\textstyle ::=$ variable  
synthesis $\textstyle ::=$ operator expression  
    expression  
variable $\textstyle ::=$ symbol  
operator expression $\textstyle ::=$ abstraction reference  
    synthesis primitive operation  
predefined $\textstyle ::=$ value  
    special form  
    primitive operation  
value $\textstyle ::=$ number string symbol  
    char boolean  
    pair list vector  
special form $\textstyle ::=$ 'if' 'let' 'set! 'apply'  
    'begin' 'cond' 'or' 'and'  
    'case' 'letrec' 'while!' 'do' 'defmacro!'  
    'call-with-current-continuation'  
    'quote'  
    quasi-quote symbol  
primitive operation $\textstyle ::=$ arithmetic operation  
    relational operation  
    'number?' 'symbol?' 'string?'  
    'equal?' 'positive?'  
    'cons' 'car' 'cdr' 'list-ref'  
    'list?' 'null?' 'pair?'  
    'display' 'newline'  
    'open-input-file' 'open-output-file'  
    'write' 'read' 'write-char' 'read-char'  
    'close-input-port' 'close-output-port'  
    und viele mehr  
quote symbol $\textstyle ::=$ '  
quasi-quote symbol $\textstyle ::=$ '  

next up previous contents
Nächste Seite: ARS++ - erste Ausbaustufe Aufwärts: Sprachdefinition I Vorherige Seite: Sprachdefinition I   Inhalt
Georg P. Loczewski 2003-07-18
Impressum und Datenschutz
access counter