modellen terug gehaalt en kromme zinnen aangepast
[tt2015.git] / a4 / question2.tex
index cf879c0..6d74c08 100644 (file)
@@ -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}