Ziele:
Benutzung des Moduls Operator verstehen

im Vorlesungsteil:

• Quelloperator - Zieloperator
• Bezug zur konkreten und abstrakten Syntax
• Signaturen

nachlesen:
Dokumentation des Moduls Operator

Übungsaufgaben:
Arbeiten sie in der Core-Spezifikation die I-Aufgaben des Abschnitts "Operatoren in Ausdrücken" durch.

Verständnisfragen:

• Was erzeugen die Operatorbeschreibungen SrcOpr und TgtOpr?