diff options
| author | David A. Madore <david+git@madore.org> | 2018-01-29 15:37:18 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2018-01-29 15:37:18 +0100 |
| commit | efd973f2145651be934010b1acf070f1d3cc19cb (patch) | |
| tree | 896faa1f041bbe5c36d9b8ee673d8e2d03e6f2b3 | |
| parent | d1a7e0acc7c78ec3d2bf473b4b4739315b8a2f1f (diff) | |
| download | inf105-efd973f2145651be934010b1acf070f1d3cc19cb.tar.gz inf105-efd973f2145651be934010b1acf070f1d3cc19cb.tar.bz2 inf105-efd973f2145651be934010b1acf070f1d3cc19cb.zip | |
Typo.
| -rw-r--r-- | controle-20180206.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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 |