Explore les circuits logiques synchrones, la modélisation basée sur l'état, les techniques d'optimisation et la minimisation de l'état de la machine à l'état fini.
Couvre la conception et la synthèse des machines à états finis, y compris l'exhaustivité, la cohérence, les états fantômes et les tables de transition.
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.
Introduit des approches déterministes pour identifier les nombres premiers et couvre les algorithmes et l'arithmétique modulaire pour les essais de nombres premiers.
