*hypf*

Übungen

• Übung 1 (Attributgrammatiken, zweistufige Grammatiken)
• Übung 2 (Operational Semantics)
  • Zweites Blatt mit dem Folgerungsbaum zu Aufgabe 2
  • TeX-Quelltext zum zweiten Blatt (benötigt BussProofs)
• Übung 3 (Denotationelle Semantik, widerlicher Kram)
• Übung 4 (Halbordnungen, Fixpunkte) – reichlich unvollständig
• Übung 5 (Induktion)