summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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}