From 1469cb3710d77a94e0bd8e5686a4395031380a5b Mon Sep 17 00:00:00 2001 From: Florent Madelaine Date: Tue, 14 Oct 2025 11:35:32 +0200 Subject: [PATCH] test mermaid --- 1-ComputationAndData/0Planning2025.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/1-ComputationAndData/0Planning2025.md b/1-ComputationAndData/0Planning2025.md index 0216a6d..3fc042f 100644 --- a/1-ComputationAndData/0Planning2025.md +++ b/1-ComputationAndData/0Planning2025.md @@ -332,9 +332,9 @@ graph TD; Peut-on toujours trouver un automate déterministe? -Oui. On peut fabriquer un automate qui simule en parralèle tous les chemins de calculs. -JFLAP permet de faire la transformation. +Oui. On peut fabriquer un automate qui simule en parralèle tous les chemins de calculs. JFLAP permet de faire la transformation. Par défaut il renomme les états mais indique dans un label les numéros des états correspondant dans l'automate initial. Par exemple, 1,0 veut dire que cet état correspond à la situation de chemins parallèles qui nous positionne à la fois en 0 et 1. +Comme l'automate non déterministe accepte quand un chemin de calcul accepte, un état "multiple" de l'automate déterministe accepte si il contient un état acceptant de l'automate non déterministe de départ. Dans notre exemple tous les états qui contiennent q2. ![Automates non détermniniste pour les mots qui terminent par ab](JFLAP/DFAendsInabViaDetermnisation.jpg)