ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM
ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM
ODL-Sprachkonstrukte und interaktive Benutzerschnittstelle - TUM
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Anhang B<strong>ODL</strong>-GrammatikIn diesem Anhang befindet sich die formale <strong>ODL</strong>-Grammatik. Sie stellt eine Erweiterung der in[Sch01] (S.16-19) vorgestellten <strong>ODL</strong>-Grammatik dar.Bemerkungen:• Terminale Symbole sind fett gedruckt• Terminale Symbole, die von der lexikalischen Analyse zusammengefasst werden, sind kursivgedruckt (z.B. ident, bool_constant)• Alle anderen Symbole sind nicht-terminal.• Diese Grammatik wurde mit Hinblick auf die Lesbarkeit definiert. Für eine technische Implementierungkönnten andere Produktionsregeln von Vorteil sein.start ::= proposition |::= named_predicate_declarationnamed_predicate_declaration ::= ident := CCL_propositionproposition ::= proposition and proposition |proposition or proposition |proposition implies proposition |proposition equiv proposition |neg proposition |( proposition ) |basic_proposition |quantor_proposition |named_predicate_callbasic_proposition ::= relation |comparison_expression |set_is_empty |bool_constantrelation ::= pre_relation |post_relation
Change language