Couvre les grammaires sans contexte, leur équivalence avec les automates pushdown et la hiérarchie des types de grammaire.
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.
Couvre la conception d'un système KeyLock en VHDL, en se concentrant sur l'implémentation FSM pour la validation des clés et l'indication des LED.
Couvre l'algorithme de codage universel Lempel-Ziv et les machines à états finis inversible dans la théorie de l'information.
