From 95c22964941fd539f32aa9b968d30db1836c92d8 Mon Sep 17 00:00:00 2001 From: Florent Madelaine Date: Thu, 12 Mar 2026 17:54:09 +0100 Subject: [PATCH] TP 13 mars 2026 minor fix2 --- 2026_TP_Determinisation_Equivalence.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/2026_TP_Determinisation_Equivalence.md b/2026_TP_Determinisation_Equivalence.md index 0ce3e8a..ebcb880 100644 --- a/2026_TP_Determinisation_Equivalence.md +++ b/2026_TP_Determinisation_Equivalence.md @@ -3,9 +3,9 @@ Ce TP revient en détails sur les notions suivantes. -1. automate non déterministe -1. mise en pratique de la déterminisation -1. mise en pratique du test de l'équivalence de 2 automates +* automate non déterministe +* mise en pratique de la déterminisation +* mise en pratique du test de l'équivalence de 2 automates Vous devez faire ce TP sur papier ou sur votre ordinateur. @@ -54,7 +54,7 @@ Plusieurs bonnes réponses possibles pour une question. 1. On peut tester l'équivalence de 2 automates déterministes en testant avec des mots au hasard de taille 42 et conclure ou non que les automates sont équivalents. -1. Si deux automates déterministes ne sont pas équivalents, il existe un mot qui peut servir de contre exemple de longueur au plus $n*m-1* si $n$ et $m$ sont le nombre d'états respectifs des automates. +1. Si deux automates déterministes ne sont pas équivalents, il existe un mot qui peut servir de contre exemple de longueur au plus $n*m-1$ si $n$ et $m$ sont le nombre d'états respectifs des automates. 1. On ne peut pas tester si deux automates non-déterministes sont équivalents, par contre on peut tester si un automate non déterministe est équivalent à un autre automate qui lui est déterministe.