Im Tutorium sollte die Codegenerierung for die Sprache Core erzeugt werden.
Eine Lösung für diese Aufgabe war durch sukzessives Lösen der mit
U-Aufgabe markierten Teile der Spezifikation möglich. Eine Möglichkeit
zur Bearbeitung ist in
CoreLsg.fw.ps
einzusehen. Die Eli-Spezifikation kann der Datei
CoreLsg.fw
entnommen werden.