From 6bd9d61fc12a22378c8d103d092a3cf4d80ed972 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 8 Nov 2017 14:12:49 +0100 Subject: Add footnote on grammar of regexps themselves. --- notes-inf105.tex | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'notes-inf105.tex') 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$, -- cgit v1.2.3