Reconnaissance

let reconnait a symbole mot =
  let etat = ref a.initial in
  for i = 0 to String.length mot - 1 do
    etat := a.delta.(!etat).(symbole mot.[i])
  done;
  a.acceptants.(!etat)

let sym c = int_of_char c - int_of_char 'a'
(* reconnait termine_par_a sym "bba" = true ; ... "bab" = false *)

Sur "bba" : états $0\to 0\to 0\to 1$ (acceptant) $=$ true. Sur "bab" : $0\to 0\to 1\to 0$ (non acceptant) $=$ false.