From a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 8 Jan 2018 16:37:51 +0100 Subject: Try to make clarification even clearer. --- notes-inf105.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'notes-inf105.tex') 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$, -- cgit v1.2.3