diff options
| -rw-r--r-- | notes-inf105.tex | 10 |
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}, |