Up – Package index » lrgrep » Library valmari » Valmari

Module `Valmari`Source

Valmari is an automata minimization algorithm, described in "Fast brief practical DFA minimization" https://dl.acm.org/doi/10.1016/j.ipl.2011.12.004

Sourcemodule type DFA = sig ... end

Sourcemodule type INPUT = sig ... end

module Minimize
  (Label : Stdlib.Map.OrderedType)
  (In : INPUT with type label := Label.t) : 
  sig ... end

Sourcemodule Minimize_with_custom_decomposition (In : sig ... end) : sig ... end