From: charlie <charlie.gerhardus@student.ru.nl>
Date: Wed, 27 Jan 2016 14:00:26 +0000 (+0100)
Subject: modellen terug gehaalt en kromme zinnen aangepast
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=522cad8831bf06aa858ebb0ec5083bf4599e5f62;p=tt2015.git

modellen terug gehaalt en kromme zinnen aangepast
---

diff --git a/a4/models.tex b/a4/models.tex
index aa8049d..c06b967 100644
--- a/a4/models.tex
+++ b/a4/models.tex
@@ -1,160 +1,160 @@
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.LStar.rand.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, LStar, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.TTT.rand.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, TTT, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.RS.rand.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, RivestSchapire, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.KV.rand.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, KearnsVazirani, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.LStar.wm.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, LStar, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.TTT.wm.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, TTT, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.RS.wm.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, RivestSchapire, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.small.KV.wm.eps}
-%	\vspace{5mm}
-%	\caption{small alphabet, KearnsVazirani, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.LStar.rand.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, LStar, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.TTT.rand.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, TTT, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.RS.rand.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, RivestSchapire, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.KV.rand.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, KearnsVazirani, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.LStar.wm.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, LStar, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.TTT.wm.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, TTT, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.RS.wm.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, RivestSchapire, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[scale=0.75]{model.partial.KV.wm.eps}
-%	\vspace{5mm}
-%	\caption{partial alphabet, KearnsVazirani, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.LStar.rand.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, LStar, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.TTT.rand.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, TTT, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.RS.rand.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, RivestSchapire, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.KV.rand.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, KearnsVazirani, Random}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.LStar.wm.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, LStar, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.TTT.wm.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, TTT, WMethod}
-%\end{figure}
-%
-%\begin{figure}[H]
-%	\centering
-%	\includegraphics[width=\textwidth]{model.full.RS.wm.eps}
-%	\vspace{5mm}
-%	\caption{full alphabet, RivestSchapire, WMethod}
-%\end{figure}
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.LStar.rand.eps}
+	\vspace{5mm}
+	\caption{small alphabet, LStar, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.TTT.rand.eps}
+	\vspace{5mm}
+	\caption{small alphabet, TTT, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.RS.rand.eps}
+	\vspace{5mm}
+	\caption{small alphabet, RivestSchapire, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.KV.rand.eps}
+	\vspace{5mm}
+	\caption{small alphabet, KearnsVazirani, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.LStar.wm.eps}
+	\vspace{5mm}
+	\caption{small alphabet, LStar, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.TTT.wm.eps}
+	\vspace{5mm}
+	\caption{small alphabet, TTT, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.RS.wm.eps}
+	\vspace{5mm}
+	\caption{small alphabet, RivestSchapire, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.small.KV.wm.eps}
+	\vspace{5mm}
+	\caption{small alphabet, KearnsVazirani, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.LStar.rand.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, LStar, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.TTT.rand.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, TTT, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.RS.rand.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, RivestSchapire, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.KV.rand.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, KearnsVazirani, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.LStar.wm.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, LStar, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.TTT.wm.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, TTT, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.RS.wm.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, RivestSchapire, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[scale=0.75]{model.partial.KV.wm.eps}
+	\vspace{5mm}
+	\caption{partial alphabet, KearnsVazirani, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.LStar.rand.eps}
+	\vspace{5mm}
+	\caption{full alphabet, LStar, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.TTT.rand.eps}
+	\vspace{5mm}
+	\caption{full alphabet, TTT, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.RS.rand.eps}
+	\vspace{5mm}
+	\caption{full alphabet, RivestSchapire, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.KV.rand.eps}
+	\vspace{5mm}
+	\caption{full alphabet, KearnsVazirani, Random}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.LStar.wm.eps}
+	\vspace{5mm}
+	\caption{full alphabet, LStar, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.TTT.wm.eps}
+	\vspace{5mm}
+	\caption{full alphabet, TTT, WMethod}
+\end{figure}
+
+\begin{figure}[H]
+	\centering
+	\includegraphics[width=\textwidth]{model.full.RS.wm.eps}
+	\vspace{5mm}
+	\caption{full alphabet, RivestSchapire, WMethod}
+\end{figure}
diff --git a/a4/question2.tex b/a4/question2.tex
index cf879c0..6d74c08 100644
--- a/a4/question2.tex
+++ b/a4/question2.tex
@@ -2,8 +2,8 @@ In order to be allow learnlib to learn the TCP model it was necessary to have a
 deterministic model.  We accomplished this by modifying the adapter so it can
 reach a \texttt{ERROR} or \texttt{CLOSED} state. In these states all inputs are
 discarded and a default output is returned.  In the case of a state where an
-input results in a non-deterministic output we jump to the \texttt{ERROR} state
-for additional this given input. When the connection is successfully closed
+input results in a non-deterministic output we jump to the \texttt{ERROR} which will give the \emph{ERR} output for any input. 
+When the connection is successfully closed
 using a \texttt{FIN} packet we move the adapter to the \texttt{CLOSED} state.
 
 We divided the input alphabet into three sets, this way we can control the size
@@ -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/question3.tex b/a4/question3.tex
index d5a1a13..2902e96 100644
--- a/a4/question3.tex
+++ b/a4/question3.tex
@@ -1,6 +1,6 @@
 The table below contains some statistics about all the different parameter
 configurations we ran learnlib with. The \emph{RivestSchapire} learner using
-the Random test method resulted in an incorrect model being learned. When the
+the Random test method resulted in an incorrect model being learned. The
 \emph{KearnsVazirani} learner using the WMethod tester wasn't able to learn a
 model, this is due the learner hitting a non-deterministic path.  This
 problem hasn't anything to do with the actual learner and is the result of a
diff --git a/a4/tcp/results/van_learnlib_naar_dot.py b/a4/tcp/results/van_learnlib_naar_dot.py
old mode 100755
new mode 100644