diff --git a/1-ComputationAndData/0Planning2025.md b/1-ComputationAndData/0Planning2025.md index d51d8ae..df4a2dc 100644 --- a/1-ComputationAndData/0Planning2025.md +++ b/1-ComputationAndData/0Planning2025.md @@ -297,7 +297,7 @@ On peut reprendre l'automate déterministe précédent. Il suffit de transformer **Retour sur le non déterministe.** -Si on a queleque part dans la table de transition deux états ou plus dans une case, on a un choix. +Si on a quelque part dans la table de transition deux états ou plus dans une case, on a un choix. Dans ce cas un calcul peut en fait avoir plusieurs branches. On a un **arbre de calcul** plutôt qu'un chemin unique. @@ -313,7 +313,12 @@ Il y a trois chemins acceptants dont un seul accepte en terminant dans l'état a ```mermaid - info + +graph TD; + R(q0)-->|a|R0(q0); + R(q0)-->|a|R1(q1); + + ``` diff --git a/1-ComputationAndData/JFLAP/DFAendsInabViaDetermnisation.jpg b/1-ComputationAndData/JFLAP/DFAendsInabViaDetermnisation.jpg index f4268e2..c318e7b 100644 Binary files a/1-ComputationAndData/JFLAP/DFAendsInabViaDetermnisation.jpg and b/1-ComputationAndData/JFLAP/DFAendsInabViaDetermnisation.jpg differ