|
Ziele:
Formale Definition des Einsetzens für Variable
in der Vorlesung:
An Beispielen erlätern:
- konsistentes Ersetzten mehrerer Vorkommen
- gleichzeitiges Ersetzen
- Ersetzen wird nicht iteriert
- Variable können ungebunden bleiben
Hinweis: Wir haben hier nicht die Notation
aus dem Skript vom WS 2000/2001 und nicht die
aus dem Buch von Goos verwendet!
Dort werden die Paare in umgekehrter Reihenfolge
angegeben: [Term/Variable].
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 3.6
Verständnisfragen:
Geben Sie Beispiele für Substitutionen zu Termen
der Signatur zu BOOL an.
|
