Functor Construction.Compute

module Compute: 
functor (Etat : Tools.Base) -> 
functor (Alph : Tools.Base) -> sig .. end

type etat = Etat.t 

type lettre = Alph.t 

type automate = (etat, lettre) Automate.automate 

module Rel: Relation.R  with type elt = etat

module AMap: sig .. end

val base_rel : automate ->
       lettre -> Rel.t

module MMap: sig .. end

type state = MMap.t 

val g2 : (lettre -> Rel.t) ->
       etat list ->
       (lettre -> lettre) ->
       state ->
       lettre list ->
       lettre ->
       state * lettre list *
       Rel.t

val trans_det : (lettre -> Rel.t) ->
       (state ->
        lettre list ->
        lettre ->
        state * lettre list *
        Rel.t) ->
       state ->
       etat list * lettre list ->
       lettre ->
       state *
       (etat list * lettre list)

val auto_f_det : automate ->
       (lettre -> lettre) ->
       (etat list * lettre list,
        lettre)
       Automate.automate

val trans : (lettre -> Rel.t) ->
       (state ->
        lettre list ->
        lettre ->
        state * lettre list *
        Rel.t) ->
       state ->
       etat * lettre list ->
       lettre ->
       state *
       (etat * lettre list) list

val auto_f : automate ->
       (lettre -> lettre) ->
       (etat * lettre list,
        lettre)
       Automate.automate