Adloun

Nombre pair de a

Exercice · OCaml (option informatique), chapitre 18 — Automates finis

Énoncé

Définir pair_de_a : les mots ayant un nombre pair de a.

Corrigé

let pair_de_a = {
  nb_etats = 2; initial = 0;       (* état = parité du nombre de a lus *)
  acceptants = [| true; false |];  (* 0 = pair (acceptant), 1 = impair *)
  delta = [| [| 1; 0 |];           (* depuis pair : a -> impair, b -> pair *)
             [| 0; 1 |] |];        (* depuis impair : a -> pair, b -> impair *)
}

Lire a bascule la parité (états 0 et 1), lire b la laisse. L'état acceptant 0 (pair) inclut le mot vide ( occurrence, pair).

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.