diff --git a/automata.tex b/automata.tex index 0311aeba98ca8893c6283c2706df4f2ec37dda9b..955a4fa1f2e82c88f027202343ea8b88b726a44b 100644 --- a/automata.tex +++ b/automata.tex @@ -1,6 +1,6 @@ -\section{Automatenminimierung \hfill 6 Punkte} Gegeben sei der -abgebildete deterministische Automat, über dem Alphabet $\Sigma = -\{0,1\}$: +\section{Automatenminimierung \hfill\small 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] diff --git a/korekursion.tex b/korekursion.tex index 707b03b1efa31eb792896ce99b708ffc84a439f2..2487a0295f0a520fbb07f174d82647d808835c55 100644 --- a/korekursion.tex +++ b/korekursion.tex @@ -1,4 +1,4 @@ -\section{Korekursion und Koinduktion \hfill 8 Punkte} +\section{Korekursion und Koinduktion \hfill\small 8 Punkte} \begin{multicols}{2} \begin{verbatim} codata S a where diff --git a/strukturell.tex b/strukturell.tex index ea1f94a3450599517df4a7820ff62cdc18600a2e..14c9d50c9485d1deaa00256c6bdfe4c4d1952b25 100644 --- a/strukturell.tex +++ b/strukturell.tex @@ -1,4 +1,4 @@ -\section{Strukturelle Induktion und Folds \hfill 9 Punkte} +\section{Strukturelle Induktion und Folds \hfill\small 9 Punkte} In dieser Aufgabe wird der Grunddatentyp \texttt{char} verwendet. Es wird die gewöhnliche Schreibweise \verb!'!\_\verb!'! für \texttt{char}- und \verb!"!\_\verb!"! \texttt{String}-Literale benutzt. Definiert Seien diff --git a/system-f.tex b/system-f.tex index 3f5956c3ff098dc5f914a32b57185ee5c36cdc32..18d84a97cfd98ed8235e09e181cf549ebb110c78 100644 --- a/system-f.tex +++ b/system-f.tex @@ -1,4 +1,4 @@ -\section{System F \hfill 8 Punkte} +\section{System F \hfill\small 8 Punkte} In funktionalen Programmiersprachen werden \emph{Maybe} Datentypen benutzt um eine Berechnung mit Fehlermöglichkeit zu beschreiben. Dieses diff --git a/termersetzung.tex b/termersetzung.tex index 439065d0f5b33c7b6ad7f1dac85932ef51147ebc..1cbb8b9db1f5a3d6a9cd4dcc552f04fddf896b69 100644 --- a/termersetzung.tex +++ b/termersetzung.tex @@ -1,4 +1,4 @@ -\section{Polynomordnungen und TES \hfill 9 Punkte} +\section{Polynomordnungen und TES \hfill\small 9 Punkte} Wir definieren ein Termersetzungssystem mit der Signatur $\Sigma$ bestehend aus einem unärem Operator $\ast(x)$ (geschrieben als $x^{\ast}$) und einem binärem, infix Operator $x \vdash y$: