Vollständige Syntaxbeschreibung

LOGIC               ::= INPUT ASSIGNMENTS OUTPUT;

INPUT               ::= ( 'Input' | 'Eingang' ) ( '=' | 'is' | 'are' | 'ist' | 'sind' ) LIST_OF_INPUTS '.';

LIST_OF_INPUTS      ::= INPUT_NAME { ',' INPUT_NAME };

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

OUTPUT              ::= ( 'Output' | 'Ausgang' ) ( '=' | 'is' | 'are' | 'ist' | 'sind' ) LIST_OF_OUTPUTS '.';

LIST_OF_OUTPUTS     ::= { OUTPUT_NAME | ',' OUTPUT_NAME };

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

ASSIGNMENTS         ::= ASSIGNMENT { '.' ASSIGNMENT } '.';

ASSIGNMENT          ::= OUTPUT_NAME ( '=' | 'is' | 'ist' ) ( ANY_CONDITION | VALUE );

VALUE               ::= EXPRESSION [ CONDITION ];

ANY_CONDITION       ::= ( 'any' | 'beliebig' ) CONDITION;

CONDITION           ::= ( 'when' | 'wenn' ) EXPRESSION;

EXPRESSION          ::= [ NOT ] TERM { ( 'and' | 'und' ) [ NOT ] TERM };

NOT                 ::= ( 'not' | 'nicht' | '^' ) ;

TERM                ::= FACTOR { ( 'or' | 'oder' ) FACTOR };

FACTOR              ::= [ NOT ] ( NAME | '(' EXPRESSION ')' );

NAME                ::= OUTPUT_NAME | INPUT_NAME | FUNCTION_CALL |
                        'true' | 'false' | 'wahr' | 'falsch' | '1' | '0';

FUNCTION_CALL       ::= FUNCTION_NAME '(' LIST_OF_EXPRESSIONS ')';

FUNCTION_NAME       ::= 'NAND' | 'NOR' ;

LIST_OF_EXPRESSIONS ::= EXPRESSION { ',' EXPRESSION };