\begin{slide}{autotool-Auswertung}

\begin{itemize}
\item
\begin{verbatim}
40 :      32457  Christian Fröhlich
24 :      36189  Mathias Schilha
18 :      36178  Stephan Krull
\end{verbatim}
\item
Aufgabe TRS-Times:
\begin{verbatim}
TRS { variablen = [ x,y,a,b,t ] , regeln = [
f(x,y) -> g(x,y,Z),
g(Z,y,t) -> t, g(S(x),y,t) -> h(x,y,Z,Z,t),
h(x,S(y),a,b,t) -> h(x,y,S(a),S(b),t),
h(x,Z,a,b,t) -> g(x,a,add(b,t)),
add(S(b),t) -> add(b,S(t)), add(Z,t) -> t
] }
\end{verbatim}  

\end{itemize}


\end{slide}
