Ce cours permet d'appréhender les bases théoriques de l'informatique en définissant la notion d'automate.
-
Automates finis déterministes et non-déterministes (AFD-AFN) et leur utilisation en modélisation.
-
Produit cartésien d'automates
-
Déterminisation d'automates finis non-déterministes
-
Clôture booléenne des AFN (union, intersection, complémentaire)
-
Minimisation d'automates finis
-
Test du vide et équivalence/inclusion de langages réguliers
-
Recherche de motif (automate de Simon)