package grenier

  1. Overview
  2. Docs

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

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