summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r--notes-inf105.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index f60f754..1c2dde6 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -5172,8 +5172,8 @@ $\Sigma \cup N \cup \{\varepsilon\}$, vérifiant les propriétés
suivantes :
\begin{itemize}
\item la racine de l'arbre est étiquetée par l'axiome $S$ de $G$ ;
-\item si un nœud de l'arbre est étiqueté par $T$ et n'est pas une
- feuille (i.e., s'il a des fils), alors
+\item si un nœud de l'arbre n'est pas une feuille (i.e., s'il a des
+ fils) et si on appelle $T$ son étiquette, alors
\begin{itemize}
\item soit ce nœud a un unique fils étiqueté $\varepsilon$ et il
existe une règle $T \rightarrow \varepsilon$ dans $G$,