summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-inf105.tex5
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}