From a9064887fc6f2a0f03422a64158dd33d4b710265 Mon Sep 17 00:00:00 2001 From: Florent Madelaine Date: Tue, 14 Oct 2025 11:30:33 +0200 Subject: [PATCH] test mermaid --- 1-ComputationAndData/0Planning2025.md | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/1-ComputationAndData/0Planning2025.md b/1-ComputationAndData/0Planning2025.md index 5e1a783..47c665f 100644 --- a/1-ComputationAndData/0Planning2025.md +++ b/1-ComputationAndData/0Planning2025.md @@ -308,7 +308,7 @@ On peut facilement produire par exemple un automate non déterministe pour les m ![Automates non détermniniste pour les mots qui terminent par ab](JFLAP/NDFAendsInab.jpg) On a vu en cours l'arbre de calcul pour le mot abab. -Il y a trois chemins acceptants dont un seul accepte en terminant dans l'état acceptant. +Il y a trois chemins acceptants dont un seul accepte en terminant dans l'état acceptant (le chemin du milieu ci-dessous). @@ -338,3 +338,15 @@ JFLAP permet de faire la transformation. ![Automates non détermniniste pour les mots qui terminent par ab](JFLAP/DFAendsInabViaDetermnisation.jpg) +Le chemin de calcul de cet automate correspond à ce qui se passe quand on écrase l'arbre de calcul de l'automate original (en enlevant les répétitions éventuelles de noms d'états). + +```mermaid + +graph TD; + R((q{0}))-->|a|R0((q{0,1})); + R0 -->|b|R00(((q{0,2}))); + R00 -->|a|R000((q{0,1,3})); + R000-->|b|R0000(((q{0,2,3}))); + +``` +