From d25c45494a8d957b1ee0459e9fe2d6bbf8dd4891 Mon Sep 17 00:00:00 2001
From: "flyingscorpio@arch-desktop" <tfranken@protonmail.com>
Date: Mon, 1 Nov 2021 21:35:15 +0100
Subject: [PATCH] =?UTF-8?q?Write=20algorithm=20for=20d=C3=A9terminisation?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 maths-pour-info/main.tex | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/maths-pour-info/main.tex b/maths-pour-info/main.tex
index d4da921..c527732 100644
--- a/maths-pour-info/main.tex
+++ b/maths-pour-info/main.tex
@@ -305,4 +305,29 @@
 
             \end{enumerate}
 
+            Algorithme~:
+
+            \begin{itemize}
+                \item $Q' \leftarrow \{I\}$ \\
+                    $I' \leftarrow \{I\}$ \\
+                    $\text{marque}(I) = \text{à traiter}$
+
+                \item $\text{tant que } \{e' \in Q' \,|\, \text{marque}(e') = \text{à traiter}\} \neq \oslash$ \\
+                    $\text{choisir } p' \in Q' \,|\, \text{marque}(p') = \text{à traiter}$
+
+                    \begin{itemize}
+
+                        \item $\forall x \in A$ \\
+                            Soit $q' = \{q \in Q \,|\, \exists \, p \in p', (p,x,q) \in E\}$ \\
+                            $q' \notin Q' \implies (Q' \leftarrow Q' \cup \{q'\}, \text{marque}(q') = \text{à traiter})$ \\
+                            $E' \leftarrow E' \cup \{(p',x,q')\}$
+
+                        \item $\text{marque}(p') = \text{déjà traité}$
+
+                    \end{itemize}
+
+                \item $T' = \{p' \in Q' \,|\, \exists \, p \in p', p \in T\}$
+
+            \end{itemize}
+
 \end{document}