summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r--notes-inf105.tex10
1 files changed, 5 insertions, 5 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 7f829fb..df65faa 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -90,7 +90,7 @@ Git: \input{vcline.tex}
\bigbreak
-\section{Alphabets, mots et langages}
+\section{Alphabets, mots et langages ; langages rationnels}
\subsection{Introduction, alphabets, mots et longueur}
@@ -845,11 +845,11 @@ possibles. L'automate prendra une décision (passer dans un nouvel
état) en fonction de son état actuel et de la lettre qu'on lui donne à
consommer.
-\subsection{Automates finis déterministes (=DFA)}
+\subsection{Automates finis déterministes complets (=DFA)}
-\thingy\label{definition-dfa} Un \textbf{automate fini déterministe},
-ou en abrégé \textbf{DFA} (pour \textit{deterministic finite
- automaton}), sur un alphabet $\Sigma$ est la donnée
+\thingy\label{definition-dfa} Un \textbf{automate fini déterministe}
+(complet), ou en abrégé \textbf{DFA} (pour \textit{deterministic
+ finite automaton}), sur un alphabet $\Sigma$ est la donnée
\begin{itemize}
\item d'un ensemble fini $Q$ dont les éléments sont appelés
\textbf{états},