Présenter les automates finis à états et les formalismes logiques qui ont de nombreuses applications pour la spécification et la modélisation de systèmes informatiques.
Capacité d'abstraire une modélisation simplifiée d'un problème réel au moyen d'un formalisme rigoureux.
Capacité d'utiliser les machines finies dans des tâches d'ingénierie (par exemple, traitements textuels simples).
Capacité d'abstraire une modélisation simplifiée d'un problème réel au moyen d'un formalisme rigoureux.
Capacité d'utiliser les machines finies dans des tâches d'ingénierie (par exemple, traitements textuels simples).