summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2022-06-07 19:50:11 +0200
committerDavid A. Madore <david+git@madore.org>2022-06-07 19:50:11 +0200
commit67d608add8c981a10b462883a356ed728ef93405 (patch)
treef17564ed13a127c5adace309212c484bdaf76191
parentd4655271abf3b52323209898644290ad7f88a48f (diff)
downloadinf105-master.tar.gz
inf105-master.tar.bz2
inf105-master.zip
Another clarification (suggested by Matthieu Rambaud).HEADmaster
-rw-r--r--controle-20220616.tex2
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