Unverified Commit 7291164e authored by Philip K.'s avatar Philip K. 🌝

wrapped and indented all text

parent 360b39bf
\section{Automatenminimierung \hfill 6 Punkte}
Gegeben sei der abgebildete deterministische Automat, über dem Alphabet
$\Sigma = \{0,1\}$:
\section{Automatenminimierung \hfill 6 Punkte} Gegeben sei der
abgebildete deterministische Automat, über dem Alphabet $\Sigma =
\{0,1\}$:
\begin{center}
\begin{tikzpicture}
\tikzstyle{vertex}=[circle,draw=black,minimum size=17pt,inner sep=0pt]
......
......@@ -31,11 +31,15 @@ right (slant s) = slant s
\begin{enumerate}
\item \points{3} Zeigen Sie, dass folgende Aussagen gelten:
\begin{verbatim}
\begin{verbatim}
genl (slant s) = s
genr (slant s) = const (hd s)
\end{verbatim}
\item \points{3} Definieren Sie eine korekursive Funktion \texttt{layers: S a -> IT a}, die einen Baum erzeugt, in dem das Wurzelelement den Wert des ersten Elements des Parameters hat. Die Kinder der Wurzel, den Wert des zweiten Elements. Die Kinder der Kinder den Wert des dritten Elements, usw.
\end{verbatim}
\item \points{3} Definieren Sie eine korekursive Funktion
\texttt{layers: S a -> IT a}, die einen Baum erzeugt, in dem das
Wurzelelement den Wert des ersten Elements des Parameters hat. Die
Kinder der Wurzel, den Wert des zweiten Elements. Die Kinder der
Kinder den Wert des dritten Elements, usw.
\end{enumerate}
%%% Local Variables:
......
\section{Strukturelle Induktion und Folds \hfill 9 Punkte}
\begin{enumerate}
\item \points{6}
\item \points{3}
\item \points{6}
\item \points{3}
\end{enumerate}
%%% Local Variables:
......
\section{System-F \hfill 8 Punkte}
\begin{enumerate}
\item \points{2}
\item \points{5}
\item \points{1}
\item \points{2}
\item \points{5}
\item \points{1}
\end{enumerate}
%%% Local Variables:
......
\section{Polynomordnungen \hfill 9 Punkte}
\begin{enumerate}
\item \points{3}
\item \points{3}
\item \points{3}
\item \points{3}
\item \points{3}
\item \points{3}
\end{enumerate}
%%% Local Variables:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment