summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-08 13:12:49 (GMT)
committerDavid A. Madore <david+git@madore.org>2017-11-08 13:12:49 (GMT)
commit6bd9d61fc12a22378c8d103d092a3cf4d80ed972 (patch)
treeed70e2d57a1a88c90768b37228577ac9561b6b52 /notes-inf105.tex
parent27fbd3c158850753a4b02e8cd3775b51770d807f (diff)
downloadinf105-6bd9d61fc12a22378c8d103d092a3cf4d80ed972.zip
inf105-6bd9d61fc12a22378c8d103d092a3cf4d80ed972.tar.gz
inf105-6bd9d61fc12a22378c8d103d092a3cf4d80ed972.tar.bz2
Add footnote on grammar of regexps themselves.
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r--notes-inf105.tex11
1 files changed, 9 insertions, 2 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 7d7b576..939abe7 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -885,8 +885,15 @@ caractères \emph{n'appartenant pas} à l'alphabet $\Sigma$, appelés
manière dont est formée l'expression rationnelle. On définit
simultanément la notion d'expression rationnelle $r$ et de
\defin[dénoté (langage)]{langage dénoté} (ou \textbf{désigné} ou
-simplement \textbf{défini}) $L(r)$ (ou $L_r$) par l'expression $r$, de
-la manière suivante :
+simplement \textbf{défini}) par l'expression $r$, noté $L(r)$
+(ou $L_r$), de la manière suivante\footnote{Si on veut être tout à
+ fait rigoureux, il faudrait démontrer, pour que cette définition ait
+ un sens, qu'une expression rationnelle $r$ ne désigne qu'un seul
+ langage $L(r)$, c'est-à-dire, qu'il n'y a qu'une seule façon de la
+ lire : pour cela, il faudrait faire appel aux techniques qui seront
+ introduites en §\ref{section-context-free-grammars} et dire que la
+ grammaire que nous définissons ici pour les expressions rationnelles
+ est \emph{inambiguë} (cf. \ref{ambiguous-grammar}).} :
\begin{itemize}
\item $\bot$ est une expression rationnelle et son langage dénoté
est $L(\bot) := \varnothing$,