summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-01-08 16:37:51 +0100
committerDavid A. Madore <david+git@madore.org>2018-01-08 16:37:51 +0100
commita73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5 (patch)
treef48a0f2aa8e70c0fed25e87b7fc9103e25335357 /notes-inf105.tex
parent9514acf89164983f62ce8869fe61fd1caf8ab3f7 (diff)
downloadinf105-a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5.tar.gz
inf105-a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5.tar.bz2
inf105-a73dc73bf33c7c01ec07c2b09eb34a7e3b0875f5.zip
Try to make clarification even clearer.
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$,