In dieser Übung entwickeln wir Syntax und Semantik einer ganz einfache Sprache und beweisen eine einfache Eigenschaft für alle Terme. Die Sprache soll Programme wie “max(3, max(7, 5))” zulassen, also literale Zahlen sowie die Operation “max”.

Aufgaben

1. Definieren Sie eine Syntax für diese Sprache.
2. Instanziieren Sie das Induktionsprinzip für Induktion über die Struktur von Termen für diese Sprache.
3. Beweisen Sie: “Alle Programme in dieser Sprache enthalten mind. eine literale Zahl.”
4. Definieren Sie eine Semantik für diese Sprache.