From efd973f2145651be934010b1acf070f1d3cc19cb Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 29 Jan 2018 15:37:18 +0100 Subject: Typo. --- controle-20180206.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'controle-20180206.tex') diff --git a/controle-20180206.tex b/controle-20180206.tex index 8338452..d90abdc 100644 --- a/controle-20180206.tex +++ b/controle-20180206.tex @@ -211,7 +211,7 @@ en (3) ; on appellera $\mathscr{A}_4$ l'automate minimal (=canonique) résultant. \begin{corrige} -On part bein d'un automate $\mathscr{A}_3$ déterministe complet sans +On part bien d'un automate $\mathscr{A}_3$ déterministe complet sans état inaccessible. La première étape de l'algorithme de minimisation sépare deux classes d'états : $S,SA,SB$ (non finaux) d'une part et $SAT,SBT$ de l'autre. Ensuite on sépare $S$ et $SA$ et $SB$ (car le -- cgit v1.2.3