Ziele:
Benutzung des CONSTITUENTS-Konstruktes fuer Werte

im Vorlesungsteil:
Typische Anwendungen

nachlesen:
Computation in Trees: 3.2

Übungsaufgaben:
Schreiben Sie fuer einen bestimmten Baum den Term mit allen Aufrufen der Funktionen ADD, IDENTICAL und ZERO auf, mit dem das CONSTITUENTS-Konstrukt berechnet wird.

Verständnisfragen:

• Warum sollte die BinFct assoziativ sein und die ZeroFct einen bezüglich der BinFct neutralen Wert liefern?