NFA to DFA converter, DFA minimization, FA acceptance in Haskell
dfa-minimization
reachable
nfa-to-dfa-conversion
subset-construction
dfa-minimization-algorithm
myhill-nerode-theorm
-
Updated
Jul 22, 2023 - Haskell