From 7724d0c2eaeb2c50fe62bc2cb460f02eab8797db Mon Sep 17 00:00:00 2001
From: "flyingscorpio@pinebookpro" <tfranken@protonmail.com>
Date: Tue, 5 Oct 2021 15:43:26 +0200
Subject: [PATCH] Minor change

---
 maths-pour-info/main.tex | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

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}