aum0.mli 976 Bytes
Newer Older
huet's avatar
huet committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
(**************************************************************************)
(*                                                                        *)
(*                         The Zen/Aum Library                            *)
(*                                                                        *)
(*                              Gérard Huet                               *)
(*                                                                        *)
(* ©2005 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************)

(* The auto structure for simplistic aums. This is a very simplified model with 
   deterministic dictionaries; phase transition occurs at accepting states. *)

module Auto : sig

type auto = [ State of (bool * deter) ]
   (* [bool] is [True] for accepting states *)
and deter = list (Word.letter * auto) 
   (* deter is the deterministic structure *)
;
end;