Minimize (p.grenier.0.11.doc.grenier.valmari.Valmari.Minimize)

Parameters

module DFA : DFA

include DFA with module Label = DFA.Label

Sourcemodule States : Strong.Finite.Set

Sourcemodule Transitions : Strong.Finite.Set

Sourcemodule Label = DFA.Label

Sourceval label : Transitions.n Strong.Finite.elt -> Label.t

Sourceval source : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.elt

Sourceval target : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.elt

Sourceval initial_state : States.n Strong.Finite.elt

module Final : 
  Strong.Finite.Map with type codomain = States.n Strong.Finite.elt

val transport_state : 
  DFA.States.n Strong.Finite.elt ->
  States.n Strong.Finite.elt option

val transport_transition : 
  DFA.Transitions.n Strong.Finite.elt ->
  Transitions.n Strong.Finite.elt option

val represent_state : 
  States.n Strong.Finite.elt ->
  DFA.States.n Strong.Finite.elt

val represent_transition : 
  Transitions.n Strong.Finite.elt ->
  DFA.Transitions.n Strong.Finite.elt