Complément
Exercice · OCaml (option informatique), chapitre 18 — Automates finis
Énoncé
Écrire complement a et vérifier que complement termine_par_a reconnaît les mots qui ne se terminent pas par a.
Corrigé
let complement a = { a with acceptants = Array.map not a.acceptants }Sur un AFD complet, inverser les états acceptants suffit : un mot est dans le complément ssi il n'était pas accepté. reconnait (complement termine_par_a) sym "bba" vaut false, et ... "bab" vaut true.
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.