\begin{slide}{Attributgrammatiken}

Attribut: Annotation an Knoten des Syntaxbaums.

\begin{itemize}
\item ererbt:
  
  hängt nur von Attributwerten in Elternknoten ab
\item synthetisiert:

  hängt nur von Attributwerten in Kindknoten ab
\end{itemize}

Wenn Abhängigkeiten bekannt sind,
kann man Attributwerte durch Werkzeuge bestimmen lassen.
\end{slide}

\begin{slide}{Attributgrammatiken--Beispiele}

\begin{itemize}
\item
  Auswertung arithmetischer Ausdrücke (dynamisch)
\item
  Typprüfung (statisch)
\item
  Kompilation (für Kellermaschine) (statisch)
\end{itemize}

\end{slide}

