diff --git a/maths-pour-info/main.tex b/maths-pour-info/main.tex index fe1606a..67e780b 100644 --- a/maths-pour-info/main.tex +++ b/maths-pour-info/main.tex @@ -92,4 +92,21 @@ Un automate non déterministe est plus difficile à mettre en \oe{}uvre en algorithmique qu'un automate déterministe. En effet, il faudra en plus des pointeurs d'état et de symbole courant maintenir une pile des opérations possibles. + \subsection{Accessibilité} + + \begin{itemize} + + \item Un automate accessible ne contient que des états qui peuvent être atteints. + + \item Un automate coaccessible ne contient que des états pouvant mener à un état terminal. + + \item Un automate émondé est à la fois accessible et coaccessible. + + \end{itemize} + + \subsection{Automate standard} + + Un automate standard ne contient qu'un seul état initial. + Aucune transition n'arrive sur cet état initial. + \end{document}