diff options
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r-- | notes-inf105.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex index 1f21b04..a236c8b 100644 --- a/notes-inf105.tex +++ b/notes-inf105.tex @@ -171,6 +171,11 @@ l'ensemble $\{0,1,2,3\ldots\}$ des entiers naturels. Le symbole \qedsymbol{} marque la fin d'une démonstration. +Les passages en petits caractères (ainsi que les notes en bas de page) +sont destinés à apporter des éclaircissements, des précisions ou des +compléments mais peuvent être ignorés sans nuire à la compréhension +globale du texte. + \section{Alphabets, mots et langages ; langages rationnels}\label{section-languages-and-rational-languages} \subsection{Introduction, alphabets, mots et longueur}\label{subsection-introduction-and-words} |