summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tp1.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/tp1.tex b/tp1.tex
index f912a54..8bf731c 100644
--- a/tp1.tex
+++ b/tp1.tex
@@ -317,8 +317,8 @@ rationnel au sens mathématique.
\exercice
-(a) Expliquer pourquoi il existe un automate déterministe fini sur le
-langage $\{0,1,2,\ldots,9\}$, ayant exactement $7$ états, qui accepte
+(a) Expliquer pourquoi il existe un automate déterministe fini sur
+l'alphabet $\{0,1,2,\ldots,9\}$, ayant exactement $7$ états, qui accepte
le langage formé des représentations décimales des entiers naturels
multiples de $7$ (on ignorera les $0$ initiaux, i.e., on n'imposera
pas que l'écriture décimale soit normalisée).