diff options
| -rw-r--r-- | controle-20220616.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20220616.tex b/controle-20220616.tex index 16b7abf..7439a45 100644 --- a/controle-20220616.tex +++ b/controle-20220616.tex @@ -509,7 +509,7 @@ arbre $\mathscr{T}$ ne vérifie pas ($\dagger$), on peut en construire un autre ayant strictement moins de nœuds, en remplaçant le sous-arbre qui descend de $n$ par celui qui descend de $n'$, et expliquer pourquoi c'est encore un arbre d'analyse pour $G$ si $\mathscr{T}$ en -est un. +est un (pas nécessairement du même mot). \begin{corrige} Si $\mathscr{T}$ est un arbre d'analyse pour $G$ dans lequel un nœud |