diff options
| author | David A. Madore <david+git@madore.org> | 2016-12-08 15:01:52 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-12-08 15:01:52 +0100 |
| commit | 9c41119f64f2931c92a756f10d64e8228968a55d (patch) | |
| tree | b0703191f5aa02e1471aafb9b71dccb49bad2034 | |
| parent | 676afd2ad5c7028a7a8910fb14593897b40c0a11 (diff) | |
| download | inf105-9c41119f64f2931c92a756f10d64e8228968a55d.tar.gz inf105-9c41119f64f2931c92a756f10d64e8228968a55d.tar.bz2 inf105-9c41119f64f2931c92a756f10d64e8228968a55d.zip | |
Slight changes to section titles.
| -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}, |