summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-12-08 15:01:52 +0100
committerDavid A. Madore <david+git@madore.org>2016-12-08 15:01:52 +0100
commit9c41119f64f2931c92a756f10d64e8228968a55d (patch)
treeb0703191f5aa02e1471aafb9b71dccb49bad2034 /notes-inf105.tex
parent676afd2ad5c7028a7a8910fb14593897b40c0a11 (diff)
downloadinf105-9c41119f64f2931c92a756f10d64e8228968a55d.zip
inf105-9c41119f64f2931c92a756f10d64e8228968a55d.tar.gz
inf105-9c41119f64f2931c92a756f10d64e8228968a55d.tar.bz2
Slight changes to section titles.
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},