@hackage hDFA0.0.2

A simple library for representing and minimising DFAs.

hDFA provides a simple API for representing and minimizing deterministic finite automata (DFAs) using an explicit representation (a list of transitions). It includes a port of Antti Valmari's efficient DFA minimization algorithm from C++ to C. (See A. Valmari, "Fast brief practical DFA minimization" Information Processing Letters 112(6) 2012.)