There are 0 repository under myhill-nerode-theorm topic.
NFA to DFA converter, DFA minimization, FA acceptance in Haskell
a c++ program that takes a dfa as input and output its minimum equivalence states partitions and corresponding minimum state transition table.