summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-08 15:18:00 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-08 15:18:00 +0100
commite6f4d79160936874dee18faf634096c32505e8ef (patch)
tree5e33bfdfa28da821789d82158c8bb781967d37a6
parentd7a83cc55359ae3d3c5cb39c3ff0c7bea1b87885 (diff)
downloadinf105-e6f4d79160936874dee18faf634096c32505e8ef.tar.gz
inf105-e6f4d79160936874dee18faf634096c32505e8ef.tar.bz2
inf105-e6f4d79160936874dee18faf634096c32505e8ef.zip
Add remark about escaping regexps under Unix shell.
-rw-r--r--notes-inf105.tex8
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}