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:35:32 +02:00
parent 4894771537
commit 1469cb3710
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
1-ComputationAndData/0Planning2025.md
View File

@@ -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)