diff --git a/1-ComputationAndData/0Planning2025.md b/1-ComputationAndData/0Planning2025.md index b30d899..d51d8ae 100644 --- a/1-ComputationAndData/0Planning2025.md +++ b/1-ComputationAndData/0Planning2025.md @@ -310,6 +310,14 @@ On peut facilement produire par exemple un automate non déterministe pour les m 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. + + +```mermaid + info +``` + + + Peut-on toujours trouver un automate déterministe? Oui. On peut fabriquer un automate qui simule en parralèle tous les chemins de calculs. @@ -317,3 +325,4 @@ JFLAP permet de faire la transformation. ![Automates non détermniniste pour les mots qui terminent par ab](JFLAP/DFAendsInabViaDetermnisation.jpg) +