final commit

diff --git a/a4/models.tex b/a4/models.tex
index aa8049d..f6ec1b3 100644 (file)
--- a/a4/models.tex
+++ b/a4/models.tex
@@ -1,160 +1,160 @@
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.LStar.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, LStar, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.TTT.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, TTT, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.RS.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, RivestSchapire, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.KV.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, KearnsVazirani, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.LStar.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, LStar, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.TTT.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, TTT, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.RS.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, RivestSchapire, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.small.KV.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{small alphabet, KearnsVazirani, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.LStar.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, LStar, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.TTT.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, TTT, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.RS.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, RivestSchapire, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.KV.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, KearnsVazirani, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.LStar.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, LStar, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.TTT.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, TTT, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.RS.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, RivestSchapire, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[scale=0.75]{model.partial.KV.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{partial alphabet, KearnsVazirani, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.LStar.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, LStar, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.TTT.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, TTT, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.RS.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, RivestSchapire, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.KV.rand.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, KearnsVazirani, Random}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.LStar.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, LStar, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.TTT.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, TTT, WMethod}\r
-%\end{figure}\r
-%\r
-%\begin{figure}[H]\r
-%      \centering\r
-%      \includegraphics[width=\textwidth]{model.full.RS.wm.eps}\r
-%      \vspace{5mm}\r
-%      \caption{full alphabet, RivestSchapire, WMethod}\r
-%\end{figure}\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.LStar.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, LStar, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.TTT.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, TTT, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.RS.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, RivestSchapire, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.KV.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, KearnsVazirani, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.LStar.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, LStar, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.TTT.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, TTT, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.RS.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, RivestSchapire, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.small.KV.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{small alphabet, KearnsVazirani, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.LStar.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, LStar, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.TTT.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, TTT, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.RS.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, RivestSchapire, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.KV.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, KearnsVazirani, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.LStar.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, LStar, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.TTT.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, TTT, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.RS.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, RivestSchapire, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[scale=0.75]{model.partial.KV.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{partial alphabet, KearnsVazirani, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.LStar.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, LStar, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.TTT.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, TTT, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.RS.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, RivestSchapire, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.KV.rand.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, KearnsVazirani, Random}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.LStar.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, LStar, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.TTT.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, TTT, WMethod}\r
+\end{figure}\r
+\r
+\begin{figure}[H]\r
+       \centering\r
+       \includegraphics[width=\textwidth]{model.full.RS.wm.eps}\r
+       \vspace{5mm}\r
+       \caption{full alphabet, RivestSchapire, WMethod}\r
+\end{figure}\r

diff --git a/a4/question1.tex b/a4/question1.tex
index 0370589..6f2251c 100644 (file)
--- a/a4/question1.tex
+++ b/a4/question1.tex
@@ -2,7 +2,7 @@ The Candymachine was learned using LearnLib. Figure~\ref{fig:candy} shows the
 learned model. In this Figure S0 is the initial state. 
 
 \begin{figure}[H]
-       \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyFig.png} 
+       \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyfig.png} 
        \caption{Learned model of the candy machine}
        \label{fig:candy}
 \end{figure}
@@ -27,4 +27,4 @@ learned model. In this Figure S0 is the initial state.
                        \texttt{COIN10}, S3 to S5 for a Snickers, S5 to S1 with 
                        \texttt{COIN5}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a
                        Bounty)
-\end{description}
\ No newline at end of file
+\end{description}

diff --git a/a4/question2.tex b/a4/question2.tex
index cf879c0..55579ee 100644 (file)
--- a/a4/question2.tex
+++ b/a4/question2.tex
@@ -29,24 +29,24 @@ input alphabets will influence the size of the model produced. \emph{small}
 will result in a 2 state model, \emph{partial} will be the full model without
 the \texttt{CLOSED} state and \emph{full} should result in the full model as
 used in the previous assignment.
-%
-%\begin{figure}[H]
-%      \centering
-%      \includegraphics[scale=0.75]{model.small.LStar.rand.eps}
-%      \vspace{5mm}
-%      \caption{Model learned with small input alphabet}
-%\end{figure}
-%
-%\begin{figure}[H]
-%      \centering
-%      \includegraphics[width=\textwidth]{model.partial.LStar.rand.eps}
-%      \vspace{5mm}
-%      \caption{Model learned with partial input alphabet}
-%\end{figure}
-%
-%\begin{figure}[H]
-%      \centering
-%      \includegraphics[width=1.2\textwidth]{model.full.LStar.rand.eps}
-%      \vspace{5mm}
-%      \caption{Model learned with full input alphabet}
-%\end{figure}
+
+\begin{figure}[H]
+       \centering
+       \includegraphics[scale=0.75]{model.small.LStar.rand.eps}
+       \vspace{5mm}
+       \caption{Model learned with small input alphabet}
+\end{figure}
+
+\begin{figure}[H]
+       \centering
+       \includegraphics[width=\textwidth]{model.partial.LStar.rand.eps}
+       \vspace{5mm}
+       \caption{Model learned with partial input alphabet}
+\end{figure}
+
+\begin{figure}[H]
+       \centering
+       \includegraphics[width=1.2\textwidth]{model.full.LStar.rand.eps}
+       \vspace{5mm}
+       \caption{Model learned with full input alphabet}
+\end{figure}

diff --git a/a4/tt_tcp.zip b/a4/tt_tcp.zip
new file mode 100644 (file)
index 0000000..ed6b69e
Binary files /dev/null and b/a4/tt_tcp.zip differ