Nombre pair de a

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 ($0$ occurrence, pair).