\begin{slide}{Motivation}

bisherige Programme sind nebenwirkungsfrei,
das ist nicht immer erwünscht:
\begin{itemize} \itemsep 0pt
\item direktes Rechnen auf von-Neumann-Maschine:
  Änderungen im Hauptspeicher
\item direkte Modellierung von Prozessen
  mit Zustandsänderungen ((endl.) Automaten)
\end{itemize}

Dazu muß semantischer Bereich geändert werden.
\begin{itemize} \itemsep 0pt
\item bisher: \verb|Val|, jetzt: \verb|State -> (State, Val)|
\end{itemize}
Semantik von (Teil-)Programmen ist Zustandsänderung.

\end{slide}
