@hackage / hDFA

A simple library for representing and minimising DFAs.

Latest0.0.2

About

Metadata

  • Last updated , by PeterGammie
  • License BSD-3-Clause

  • Maintained by: peteg42@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.)