From: pimjager Date: Wed, 20 Jan 2016 20:27:03 +0000 (+0100) Subject: Question 1 answered X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=2f69a3f03658d78ea93a4cafd3cb7b3ee9d9587e;p=tt2015.git Question 1 answered --- diff --git a/a4/1candyfig.png b/a4/1candyfig.png new file mode 100644 index 0000000..556d83d Binary files /dev/null and b/a4/1candyfig.png differ diff --git a/a4/preamble.tex b/a4/preamble.tex index 5a64503..9230216 100644 --- a/a4/preamble.tex +++ b/a4/preamble.tex @@ -2,6 +2,7 @@ \usepackage{a4wide} \usepackage[dvipdfm]{hyperref} +\usepackage{graphicx} \author{% Charlie Gerhardus\and diff --git a/a4/question1.tex b/a4/question1.tex index c2dc0bd..657d022 100644 --- a/a4/question1.tex +++ b/a4/question1.tex @@ -1,10 +1,30 @@ -The Candymachine was learned using LearnLib, with the following results. +The Candymachine was learned using LearnLib. Figure~\ref{fig:candy} shows the +learned model. In this Figure S0 is the initial state. + +\begin{figure} + \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyFig.png} + \caption{Learned model of the candy machine} + \label{fig:candy} +\end{figure} \begin{description} - \item[Can you always insert every coin?] - \item[How much do you need to pay for a single mars?] - \item[How much do you need to pay for a single Snickers?] - \item[How much do you need to pay for a single Bounty?] + \item[Can you always insert every coin?] Yes, all states have outgoing + transitions for \texttt{COIN5} and \texttt{COIN10}. + \item[How much do you need to pay for a single mars?] 15 coins (S0 to S1 + with \texttt{COIN10}, S1 to S4 with \texttt{COIN5}, S4 to S0 for a + Mars). + \item[How much do you need to pay for a single Snickers?] 15 coins (S0 to S1 + with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S5 for a + Snickers, S5 to S1 with \texttt{COIN5}, S5 to S1 for a refund which + would then equal 10 coins, since S0 to S1 equals 10 coins.). + \item[How much do you need to pay for a single Bounty?] 20 coins (S0 to S1 + with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a + Bounty). \item[Which is the minimum amount of money that you need for TWO Snickers - AND a Bounty?] + AND a Bounty?] 50 coins (S0 to S1 + with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S5 for a + Snickers, S5 to S1 with \texttt{COIN5}, S1 to S3 with + \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 diff --git a/a4/results/1candyFig.svg b/a4/results/1candyFig.svg new file mode 100644 index 0000000..b9374e6 --- /dev/null +++ b/a4/results/1candyFig.svg @@ -0,0 +1,119 @@ + + + + + + + + + + + + + + + + + + + + s3 + + + + + + + s2 + + + + + + + s1 + + + + + + + s0 + + + + + + + s5 + + + + + + + s4 + + + + (ICOIN10 | ICOIN5)/ Oquiescence + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + IBUTTONMARS / OMARS + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + ICOIN5 / OOK + + ICOIN10 / OOK + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + IREFUND / OMONEY + + + IREFUND / OMONEY + + + IREFUND / OMONEY + + + IBUTTONBOUNTY / OBOUNTY + + + ICOIN10 / OOK + + + ICOIN5 / OOK + + + IBUTTONSNICKERS / OSNICKERS + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + ICOIN5 / OOK + + ICOIN5 / OOK + + + (IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10) / Oquiescence + + IREFUND / OMONEY + + + IBUTTONMARS / OMARS + + + ICOIN5 / OOK + + + diff --git a/a4/results/question1.dot b/a4/results/question1.dot new file mode 100644 index 0000000..b997839 --- /dev/null +++ b/a4/results/question1.dot @@ -0,0 +1,33 @@ +digraph g { +__start0 [label="" shape="none"]; + + s0 [shape="circle" label="0"]; + s1 [shape="circle" label="1"]; + s2 [shape="circle" label="2"]; + s3 [shape="circle" label="3"]; + s4 [shape="circle" label="4"]; + s5 [shape="circle" label="5"]; + s0 -> s0 [label="(IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence"]; + s0 -> s1 [label="ICOIN10 / OOK"]; + s0 -> s2 [label="ICOIN5 / OOK"]; + s1 -> s0 [label="IREFUND / OMONEY"]; + s1 -> s1 [label="(IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence"]; + s1 -> s3 [label="ICOIN10 / OOK"]; + s1 -> s4 [label="ICOIN5 / OOK"]; + s2 -> s0 [label="IREFUND / OMONEY"]; + s2 -> s2 [label="(IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence"]; + s2 -> s1 [label="ICOIN5 / OOK"]; + s3 -> s0 [label="IREFUND / OMONEY"]; + s3 -> s2 [label="IBUTTONMARS / OMARS"]; + s3 -> s5 [label="IBUTTONSNICKERS / OSNICKERS"]; + s3 -> s0 [label="IBUTTONBOUNTY / OBOUNTY"]; + s3 -> s3 [label="(ICOIN10 | ICOIN5) / Oquiescence"]; + s4 -> s0 [label="IREFUND / OMONEY"]; + s4 -> s0 [label="IBUTTONMARS / OMARS"]; + s4 -> s4 [label="(IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10) / Oquiescence"]; + s4 -> s3 [label="ICOIN5 / OOK"]; + s5 -> s5 [label="(IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence"]; + s5 -> s1 [label="ICOIN5 / OOK"]; + +__start0 -> s0; +} diff --git a/a4/results/question1.graphml b/a4/results/question1.graphml new file mode 100644 index 0000000..9f3023e --- /dev/null +++ b/a4/results/question1.graphml @@ -0,0 +1,392 @@ + + + + + + + + + + + + + + + + + + + + + s3 + + + + + + + + + + + s2 + + + + + + + + + + + s1 + + + + + + + + + + + s0 + + + + + + + + + + + s5 + + + + + + + + + + + s4 + + + + + + + + + + + + + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + + + + + + + + + + + + + ICOIN10 / OOK + + + + + + + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + + + + + + + + + + ICOIN10 / OOK + + + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + IBUTTONMARS / OMARS + + + + + + + + + + + + + + IBUTTONSNICKERS / OSNICKERS + + + + + + + + + + + + + + IBUTTONBOUNTY / OBOUNTY + + + + + + + + + + + + + + + + (ICOIN10 | ICOIN5)/ Oquiescence + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + IBUTTONMARS / OMARS + + + + + + + + + + + + + + + + (IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10) / Oquiescence + + + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + diff --git a/a4/tt4.tex b/a4/tt4.tex index 0909afe..7461b89 100644 --- a/a4/tt4.tex +++ b/a4/tt4.tex @@ -8,7 +8,7 @@ \input{question1.tex} \section{Question 2} -\input{question2tex} +\input{question2.tex} \section{Question 3} \input{question3.tex}