Ziele:
Berechnungen zu Symbolen statt identischer Berechnungen in vielen Kontexten.

im Vorlesungsteil:
Erläuterung der Beispiele

nachlesen:
Computation in Trees: 4.1

Verständnisfragen:

• Welche Berechnungen von Folie 3.1 können nicht in Symbolberechnungen umgeschrieben werden? Warum?