www

commit 1b6ad58fc7801f80375bc5aab40aa0e3f85ff730
parent 2142c73f789fd1a971430513187c9b23e0670120
Author: Georges Dupéron <jahvascriptmaniac+github@free.fr>
Date:   Fri, 16 Dec 2011 23:23:15 +0100

Une bonne partie du TP.

Diffstat:
M
bonavero-duperon.tex
 | 
47
+++++++++++++++++++++++++++++++++++++++++++++++
A
question1.png
 | 
0

2 files changed, 47 insertions(+), 0 deletions(-)
diff --git a/bonavero-duperon.tex b/bonavero-duperon.tex
@@ -9,6 +9,7 @@
 \usepackage{enumerate}
 %\usepackage{centernot}
 \usepackage{multirow}
+\usepackage{graphicx}
 \usepackage{tikz}
 \usetikzlibrary{positioning,calc,chains}
 \def\P{\mathcal{P}}
@@ -175,5 +176,51 @@ Pour le point 2 $\forall X \in \{\{\}, \{inp,outp\}\},\quad \{outp\} \not\subset
 
 \section{Exercice de l'atelier}
 
+\subsection{Question 1}
+
+\begin{figure}[h]
+  \centering
+  \includegraphics[width=15cm]{question1}
+\end{figure}
+
+\subsection{Question 2}
+
+\begin{verbatim}
+Maillet[prendM,poseM] := prendM;MailletOcc[prendM,poseM]
+MailletOcc[prendM,poseM] := poseM;Maillet[prendM,poseM]
+\end{verbatim}
+
+\subsection{Question 3}
+
+\begin{verbatim}
+UtiliseMarteau[ent,sortie,prend,pose,prendM,poseM](travail:TRAVAIL) :=
+  prend;sortie!fait(travail);pose;
+  Ouvrier[ent,sortie,prend,pose,prendM,poseM]
+\end{verbatim}
+
+\begin{verbatim}
+UtiliseMaillet[ent,sortie,prend,pose,prendM,poseM](travail:TRAVAIL) :=
+  prendM;sortie!fait(travail);poseM;
+  Ouvrier[ent,sortie,prend,pose,prendM,poseM]
+\end{verbatim}
+
+\begin{verbatim}
+Commence[ent,sortie,prend,pose,prendM,poseM](travail:TRAVAIL) :=
+  [facile(travail)] ->
+    sortie!fait(travail);
+    Ouvrier[ent,sortie,prend,pose,prendM,poseM]
+  []
+  [difficile(travail)] ->
+    UtiliseMarteau[ent,sortie,prend,pose,prendM,poseM](travail)
+  []
+  [(not(facile(travail)) and not(difficile(travail)))] ->
+    UtiliseOutil[ent,sortie,prend,pose,prendM,poseM](travail)
+\end{verbatim}
+
+\begin{verbatim}
+Ouvrier[ent,sortie,prend,pose,prendM,poseM] :=
+  ent?travail:TRAVAIL;
+  Commence[ent,sortie,prend,pose,prendM,poseM](travail)
+\end{verbatim}
 
 \end{document}
diff --git a/question1.png b/question1.png
Binary files differ.