From e6f4d79160936874dee18faf634096c32505e8ef Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 8 Nov 2017 15:18:00 +0100 Subject: Add remark about escaping regexps under Unix shell. --- notes-inf105.tex | 8 ++++++++ 1 file changed, 8 insertions(+) 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} -- cgit v1.2.3