Programme als Bäume

• ein Programmtext repräsentiert eine Hierarchie (einen Baum) von Teilprogrammen

• Die Semantik des Programmes wird durch Induktion über diesen Baum definiert.

• In den Knoten des Baums stehen Token,
• jedes Token hat einen Typ und einen Inhalt (eine Zeichenkette).

• diese Prinzip kommt aus der Mathematik (arithmetische Ausdrücke, logische Formeln)