Exercices corrigés — Automates finis (OCaml (option informatique))

10 exercices avec corrigé rédigé, du plus simple au plus exigeant.

• Reconnaissance
• Se terminer par a
• Nombre pair de a
• Contenir le motif ab
• Langage non vide
• Complément
• Intersection
• Compter les mots acceptés
• Les multiples de 3 en binaire
• Équivalence jusqu'à une longueur

Lire le cours de ce chapitre