Deutsche Syntaxbeschreibung

LOGIK                ::= EINGANG ZUWEISUNGEN AUSGANG;

EINGANG              ::= 'Eingang' ( '=' | 'ist' | 'sind' ) LISTE_DER_EINGAENGE '.';

LISTE_DER_EINGAENGE  ::= EINGANGS_NAME { ',' EINGANGS_NAME };

EINGANGS_NAME        ::= [a-uA-U] [a-zA-Z0-9]*;

AUSGANG              ::= 'Ausgang' ( '=' | 'ist' | 'sind' ) LISTE_DER_AUSGAENGE '.';

LISTE_DER_AUSGAENGE  ::= { AUSGANGS_NAME | ',' AUSGANGS_NAME };

AUSGANGS_NAME        ::= [v-zV-Z] [a-zA-Z0-9]*;

ZUWEISUNGEN          ::= ZUWEISUNG { '.' ZUWEISUNG } '.';

ZUWEISUNG            ::= AUSGANGS_NAME ( '=' | 'ist' ) ( BELIEBIG_BEDINGUNG | WERT );

WERT                 ::= AUSDRUCK [ BEDINGUNG ];

BELIEBIG_BEDINGUNG   ::= 'beliebig' BEDINGUNG;

BEDINGUNG            ::= 'wenn' AUSDRUCK;

AUSDRUCK             ::= [ NICHT ] TERM { 'und' [ NICHT ] TERM };

NICHT                ::= ( 'nicht' | '^' );

TERM                 ::= FAKTOR { 'oder' FAKTOR };

FAKTOR               ::= [ NICHT ] ( NAME | '(' AUSDRUCK ')' );

NAME                 ::= AUSGANGS_NAME | EINGANGS_NAME | FUNKTIONS_AUFRUF |
                         'wahr' | 'falsch' | '1' | '0';

FUNKTIONS_AUFRUF     ::= FUNKTIONS_NAME '(' LISTE_DER_AUSDRUECKE ')';

FUNKTIONS_NAME       ::= 'NAND' | 'NOR';

LISTE_DER_AUSDRUECKE ::= AUSDRUCK { ',' AUSDRUCK };