Adloun

OCaml (option informatique) · Chapitre 18 · Application directe du cours

Se terminer par a

Automates finis · niveau 1 (application)

Énoncé

Définir l'automate termine_par_a (alphabet ).

Corrigé

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.

Exercices semblables

Le cours du chapitre · Tous les exercices du chapitre