diff options
| author | David A. Madore <david+git@madore.org> | 2022-06-07 19:50:11 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2022-06-07 19:50:11 +0200 |
| commit | 67d608add8c981a10b462883a356ed728ef93405 (patch) | |
| tree | f17564ed13a127c5adace309212c484bdaf76191 | |
| parent | d4655271abf3b52323209898644290ad7f88a48f (diff) | |
| download | inf105-67d608add8c981a10b462883a356ed728ef93405.tar.gz inf105-67d608add8c981a10b462883a356ed728ef93405.tar.bz2 inf105-67d608add8c981a10b462883a356ed728ef93405.zip | |
Another clarification (suggested by Matthieu Rambaud).
| -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 |