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)
-
Déterminisation d'automates finis non-déterministes
-
Clôture booléenne des AFN (union, intersection, complémentaire, produit)
-
Minimisation d'automates finis
- Διδάσκων: Lison BLONDEAU PATISSIER
- Διδάσκων: Gabriel GATTAUX
- Διδάσκων: Cedric GUYOT
- Διδάσκων: Damien IMBS
- Διδάσκων: Nathan LHOTE
- Διδάσκων: Guillaume MAURRAS
- Διδάσκων: Marie helene STEFANINI