From e7543e3b0188e272fcd99cba7e7f6fc9e41b1496 Mon Sep 17 00:00:00 2001
From: Florent Madelaine <florent.madelaine@u-pec.fr>
Date: Mon, 13 Oct 2025 11:51:34 +0200
Subject: [PATCH] correction ab

---
 1-ComputationAndData/0Planning2025.md | 33 ++++++++++++++++++++++++++-
 1 file changed, 32 insertions(+), 1 deletion(-)

diff --git a/1-ComputationAndData/0Planning2025.md b/1-ComputationAndData/0Planning2025.md
index ae7b7f1..2a64465 100644
--- a/1-ComputationAndData/0Planning2025.md
+++ b/1-ComputationAndData/0Planning2025.md
@@ -191,8 +191,39 @@ $$q0 \xrightarrow{a}{} qa \xrightarrow{b}{} qab$$
 qab est acceptant donc le mot est accepté.
 
 Pour le mot a:
-Pour le mot ab:
 $$q0 \xrightarrow{a}{} qa$$
 qa est non-acceptant donc le mot est rejeté.
 
 
+###### Le langage formée des mots qui contient ab (de la forme n'importe quoi puis ab puis n'importe quoi, n'importe quoi pouvant être vide).
+
+Un exemple de mot accepté : abab
+
+Un exemple de mot rejeté : aba
+
+Idée de l'automate en décrivant les état.
+
+* q0 Il faut un état initial (je n'ai rien lu).
+* qa Il faut un état qui se souvient qu'il vient de lire un a.
+* qab Il faut un état qui se souvient qu'on vient de lire a puis b.
+
+On peut ajouter un état poubelle (KO).
+
+| état            | a  | b   |
+|:----------------|:---|:----|
+| q0 (initial)    | qa | KO  |
+| qa              | KO | qab |
+| qab (acceptant) | qa | KO  |
+| KO              | KO | KO  |
+|                 |    |     |
+
+Exemples de calcul.
+
+Pour le mot abab :
+$$q0 \xrightarrow{a}{} qa \xrightarrow{b}{} qab \xrightarrow{a}{} qa \xrightarrow{b}{} qab $$
+qab est acceptant donc le mot abab est accepté.
+
+
+Pour le mot aba:
+$$q0 \xrightarrow{a}{} qa \xrightarrow{b}{} qab \xrightarrow{a}{} qa$$
+qa est non-acceptant donc le mot aba est rejeté.