diff options
| -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 8ab48c3..f031fb6 100644 --- a/controle-20180206.tex +++ b/controle-20180206.tex @@ -454,7 +454,7 @@ On obtient les arbres d'analyse suivants : \end{tikzpicture} \end{corrige} -(2) En considérant que $(w)$ a le même effet / la même valeur +(2) En considérant que $(w)$ a le même effet ou la même valeur que $w$ : (a) L'une des deux opérations $\#$ et $@$ est-elle prioritaire\footnote{On dit qu'une opération binaire $\boxtimes$ est \emph{prioritaire} sur $\boxplus$ lorsque « $u\boxtimes v\boxplus |