diff options
| -rw-r--r-- | controle-20180322.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180322.tex b/controle-20180322.tex index 221991e..5836d87 100644 --- a/controle-20180322.tex +++ b/controle-20180322.tex @@ -230,7 +230,7 @@ effectivement $4$ états, il est forcément minimal. \begin{corrige} On obtient $\mathscr{A}_4$ en échangeant états finaux et non finaux dans $\mathscr{A}_3 = \mathscr{A}_2$, c'est-à-dire l'automate -$\mathscr{A}_3$ suivant : +$\mathscr{A}_4$ suivant : \begin{center} \begin{tikzpicture}[>=latex,line join=bevel,automaton] \node (q0) at (0bp,0bp) [draw,circle,state,initial,final,accepting above] {$0'$}; |