%% -*- mode: latex; TeX-master: "compilerbau.tex"; -*-

\begin{slide}{Programme als Bäume}

\begin{itemize}\itemsep 2pt
\item
  ein Programmtext repräsentiert eine Hierarchie
  (einen Baum) von Teilprogrammen
  
\item
  Die Semantik des Programmes wird durch
  Induktion über diesen Baum definiert.

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

\item diese Prinzip kommt aus der Mathematik
  (arithmetische Ausdrücke, logische Formeln)
\end{itemize}

\end{slide}

