Introduit les bases des automates finis, y compris les types déterministes et non déterministes, les expressions régulières et les critères d'acceptation.
Explore la transition des expressions régulières aux automates finis, couvrant la création de lexers, les différents types d'automates et les processus de conversion.
Explore la correction d'erreurs orthographiques, y compris les néologismes et les emprunts, en utilisant la distance d'édition et les automates à états finis.
Explore les lexiques, les n-grammes et les modèles de langage, soulignant leur importance dans la reconnaissance des mots et l'efficacité des n-grammes pour diverses tâches.
Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.
Explore la vérification des modèles de détermination du temps, la planification U-Pool, l'analyse des pires temps d'exécution et la vérification statistique des modèles pour les systèmes cyber-physiques.
