diff options
| author | David A. Madore <david+git@madore.org> | 2018-01-08 16:37:51 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2018-01-08 16:37:51 +0100 |
| commit | a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5 (patch) | |
| tree | f48a0f2aa8e70c0fed25e87b7fc9103e25335357 | |
| parent | 9514acf89164983f62ce8869fe61fd1caf8ab3f7 (diff) | |
| download | inf105-a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5.tar.gz inf105-a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5.tar.bz2 inf105-a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5.zip | |
Try to make clarification even clearer.
| -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$, |