diff options
Diffstat (limited to 'notes-inf105.tex')
| -rw-r--r-- | notes-inf105.tex | 8 |
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} |