Se terminer par `a`

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

Énoncé

Définir l'automate termine_par_a (alphabet ${a, b}$ ).

let termine_par_a = {
  nb_etats = 2; initial = 0;
  acceptants = [| false; true |];
  delta = [| [| 1; 0 |]; [| 1; 0 |] |];
}

Lire a mène toujours à l'état 1 (acceptant), lire b à l'état 0 : l'état final reflète la dernière lettre.

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.