vincent-hugot/IncDFA_algorithm

F#-implementation of algorithm for incremental construction of minimal deterministic finite automata through adding and removing strings.

F#MIT