Start report

diff --git a/a4/question1.tex b/a4/question1.tex
new file mode 100644 (file)
index 0000000..c2dc0bd
--- /dev/null
+++ b/a4/question1.tex
@@ -0,0 +1,10 @@
+The Candymachine was learned using LearnLib, with the following results.
+
+\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[Which is the minimum amount of money that you need for TWO Snickers 
+                       AND a Bounty?]
+\end{description}
\ No newline at end of file

diff --git a/a4/tt4.tex b/a4/tt4.tex
index 5c19fb0..c6f34a1 100644 (file)
--- a/a4/tt4.tex
+++ b/a4/tt4.tex
@@ -4,7 +4,8 @@
 \tableofcontents
 \newpage
 
-hoi
+\section{Question 1}
+\input{question1.tex}
 
 \nocite{*}
 \bibliographystyle{ieeetr}