madelaine/publicMasters
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

test mermaid

Browse Source
This commit is contained in:
Florent Madelaine
2025-10-14 11:30:33 +02:00
parent dfac20de71
commit a9064887fc
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
1-ComputationAndData/0Planning2025.md
View File

@@ -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) ![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. 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) ![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})));
```