|
Ziele :
- Charakteristische Berechnungen im Baum zur Typanalyse
in der Vorlesung :
- Beispiele; Reihenfolge der Operationen
nachlesen :
Kastens / Übersetzerbau, Abschnitt 6.1
Übungsaufgaben :
- Setzen Sie die Kontexte auf der Folie zu einem vollständigen
Baum zusammen. Bestimmen Sie die Reihenfolge der Operationen.
Formulieren Sie die schwächste Vorbedingung zur Reihenfolge
für jede Operation allgemein.
|