Add remark about escaping regexps under Unix shell.

1 files changed, 8 insertions, 0 deletions

diff --git a/notes-inf105.tex b/notes-inf105.tex
index e759d97..1f2bb05 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -1268,6 +1268,14 @@ contient un astérisque, on utilisera
 régulière à utiliser est \texttt{\char"5C*} et que cette chaîne de
 caractères s'écrit \texttt{"\char"5C\char"5C*"} en Java.
 
+De même, dans le shell Unix, pour rechercher une ligne d'un fichier
+contenant un \texttt{x} suivi d'un nombre quelconque de \texttt{y}
+suivi d'un \texttt{z}, on utilisera \texttt{egrep \char"27xy*z\char"27
+  \ monfichier}, les guillemets (simples) ayant pour fonction d'éviter
+que le shell Unix interprète lui-même l'astérisque comme un caractère
+spécial (dont le rôle est différent de l'étoile de Kleene, quoique
+suffisamment proche pour pouvoir causer une confusion).
+
 
 \section{Automates finis}\label{section-finite-automata}