flyingscorpio/efrei
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Minor changes

Browse source
This commit is contained in:
flyingscorpio@arch-desktop 2021-11-01 21:13:53 +01:00
parent 230ff7f9b0
commit dcfb1734a2
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
maths-pour-info/main.tex
View file

@ -286,22 +286,22 @@
\subsubsection{Déterminisation}
Pour passer d'un automate non déterministe vers un automate déterministe, on va dérouler toutes les étapes de l'automate de départ en partant des états initiaux.
Pour passer d'un automate non déterministe à un automate déterministe, on va dérouler toutes les étapes de l'automate de départ en partant des états initiaux.
S'il y a plusieurs états initiaux, on crée un nouvel état initial qu'on note comme l'ensemble des états initiaux de l'automate de départ.
Ensuite, pour chaque transition possible on recopie les transitions en partant du nouvel état courant vers un ensemble d'états de l'automate de départ.
Cela nous fait créer de nouveaux états, qu'on utilise comme état courant pour trouver les nouveaux états qu'on peut rejoindre.
\begin{enumerate}
\item Création de l'état initial~: ensemble de tous les états initiaux de l'automate non déterministe de départ.
\item création de l'état initial~: ensemble de tous les états initiaux de l'automate non déterministe de départ
\item Repérage des lignes dans le tableau de transitions concernant les états initiaux déterminés précédemment.
\item repérage des lignes dans le tableau de transitions concernant les états initiaux déterminés précédemment
\item Pour chaque transition de chacune de ces lignes, identification des états cibles, et renseignement des ensembles d'états cibles dans le nouveau tableau de transitions.
\item pour chaque transition de chacune de ces lignes, identification des états cibles, et renseignement des ensembles d'états cibles dans le nouveau tableau de transitions
\item Retour à l'étape de repérage des états déterminés précédemment.
\item retour à l'étape de repérage des états déterminés précédemment
\item Identification des ensembles contenant au moins un état terminal dans l'automate de départ.
\item identification des ensembles contenant au moins un état terminal dans l'automate de départ
\end{enumerate}