|
Ziele:
Notation und Struktur
in der Vorlesung:
- Beispiele
- Struktur an Bäumen erläutern
- Signatur explizit machen
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2
Verständnisfragen:
- Zeigen Sie, dass die Formeln auf Folie Mod-3.20 syntaktisch
korrekt sind.
- Zu welchen Signaturen gehören ihre Terme?
|
