next up previous contents
Nächste Seite: ARS++ - Zweite Ausbaustufe Aufwärts: ARS++ - Zweite Ausbaustufe Vorherige Seite: Struktur von ARS++ in   Inhalt

Sprachdefinition (EBNF)


expression $\textstyle ::=$ abstraction  
    reference  
    synthesis  
    predefined  
abstraction $\textstyle ::=$ define  
    lambda  
    expression  
reference $\textstyle ::=$ variable  
synthesis $\textstyle ::=$ operator 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 socket  
    data base regular expression  
    posix file  
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 operator  
    relational operator  
    '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'  
    'dbm-open' 'dbm-close'  
    'dbm-fetch' 'dbm-firstkey'  
    'dbm-nextkey' 'dbm-delete'  
    'dbm-store' 'dbm-count'  
    'dbm-fetch' 'dbm-firstkey'  
    'tcp-listen' 'tcp?'  
    'tcp-accept' 'tcp-connect'  
    'tcp-readline' 'tcp-readn'  
    'tcp-writen' 'tcp-close'  
    'regcomp' 'regfree'  
    'regexec' 'regx?'  
    und viele mehr  
quote symbol $\textstyle ::=$ '  
quasi-quote symbol $\textstyle ::=$ ''  


Unterabschnitte
next up previous contents
Nächste Seite: ARS++ - Zweite Ausbaustufe Aufwärts: ARS++ - Zweite Ausbaustufe Vorherige Seite: Struktur von ARS++ in   Inhalt
Georg P. Loczewski 2003-07-18
Impressum und Datenschutz
access counter