From 9c41119f64f2931c92a756f10d64e8228968a55d Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Thu, 8 Dec 2016 15:01:52 +0100 Subject: Slight changes to section titles. --- notes-inf105.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'notes-inf105.tex') 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}, -- cgit v1.2.3