From 1bfedadeecc6f6b933e3309bf857a0f6fa769249 Mon Sep 17 00:00:00 2001
From: Florent Madelaine <florent.madelaine@u-pec.fr>
Date: Mon, 4 Nov 2024 11:32:31 +0100
Subject: [PATCH] =?UTF-8?q?exo=20d=C3=A9terminisation?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 1-ComputationAndData/6ComputationAndData.md | 31 +++++++++++++++------
 1 file changed, 23 insertions(+), 8 deletions(-)

diff --git a/1-ComputationAndData/6ComputationAndData.md b/1-ComputationAndData/6ComputationAndData.md
index 7eee0c9..6e4aa3e 100644
--- a/1-ComputationAndData/6ComputationAndData.md
+++ b/1-ComputationAndData/6ComputationAndData.md
@@ -25,7 +25,7 @@ Cet état est un puits dans lequel on reste coincé (toutes transitions sortante
 
 ### Méthode.
 * On part de l'état initial, on note les états accessibles depuis cet état.
-* Si un état n'existe pas, on ajoute le super étart correspondant.
+* Si un état n'existe pas, on ajoute le super état correspondant.
 * Un super-état est acceptant ssi il contient un état acceptant.
 * On arrête la construction quand on ne recontre pas de nouvel état.
 
@@ -38,15 +38,30 @@ Donnée du problème : Dessin au tableau
 3. Déterminisez l'automate avec la méthode vue en cours.
 
 Correction.
-|   | a  | b  | c  |
-|:--|:--|:--|:--|
-| 0 (initial) | 1,OK  | 2,OK  | 3,OK  |
-| 1  | 1,OK  | 1  | 1  |
-| 2  | 2  | 2,OK  | 2  |
-| 3  | 3  | 3  | 3,OK  |
-| OK (acceptant)|   |   |   |
 
+1. la table de transition
+|                | a    | b    | c    |
+|:---------------|:-----|:-----|:-----|
+| 0 (initial)    | 1,OK | 2,OK | 3,OK |
+| 1              | 1,OK | 1    | 1    |
+| 2              | 2    | 2,OK | 2    |
+| 3              | 3    | 3    | 3,OK |
+| OK (acceptant) |      |      |      |
 
+2. Non déterminisme visible quand une cas contient au moins 2 états successeurs.
+   Par exemple depuis 0 en lisant a je peux aller vers l'état 1 et l'état OK.
+   
+3. Déterminisation
+   
+   |                   | a    | b    | c    |
+   |:------------------|:-----|:-----|:-----|
+   | 0 (initial)       | 1,OK | 2,OK | 3,OK |
+   | 1, OK (acceptant) | 1,OK | 1    | 1    |
+   | 2, OK (acceptant) | 2    | 2,OK | 2    |
+   | 3, OK (acceptant) | 3    | 3    | 3,OK |
+   | 1                 | 1,OK | 1    | 1    |
+   | 2                 | 2    | 2,OK | 2    |
+   | 3                 | 3    | 3    | 3,OK |
 
 
 ## Équivalence.