a4/question1.tex

   1 The Candymachine was learned using LearnLib. Figure~\ref{fig:candy} shows the
   2 learned model. In this Figure S0 is the initial state.
   3
   4 \begin{figure}[H]
   5         \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyFig.png}
   6         \caption{Learned model of the candy machine}
   7         \label{fig:candy}
   8 \end{figure}
   9
  10 \begin{description}
  11         \item[Can you always insert every coin?] Yes, all states have outgoing
  12                         transitions for \texttt{COIN5} and \texttt{COIN10}.
  13         \item[How much do you need to pay for a single mars?] 15 coins (S0 to S1
  14                         with \texttt{COIN10}, S1 to S4 with \texttt{COIN5}, S4 to S0 for a
  15                         Mars).
  16         \item[How much do you need to pay for a single Snickers?] 15 coins (S0 to S1
  17                         with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S5 for a
  18                         Snickers, S5 to S1 with \texttt{COIN5}, S5 to S1 for a refund which
  19                         would then equal 10 coins, since S0 to S1 equals 10 coins.).
  20         \item[How much do you need to pay for a single Bounty?] 20 coins (S0 to S1
  21                         with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a
  22                         Bounty).
  23         \item[Which is the minimum amount of money that you need for TWO Snickers
  24                         AND a Bounty?] 50 coins (S0 to S1
  25                         with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S5 for a
  26                         Snickers, S5 to S1 with \texttt{COIN5}, S1 to S3 with
  27                         \texttt{COIN10}, S3 to S5 for a Snickers, S5 to S1 with
  28                         \texttt{COIN5}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a
  29                         Bounty)
  30 \end{description}