diff options
Diffstat (limited to 'notes-inf105.tex')
| -rw-r--r-- | notes-inf105.tex | 4 |
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$, |