Closed franck44 closed 7 months ago
The first-cut version of BuildCFG hs lots of redundant information in the parameters. Investigate how to include only necessary information in order to make it easier to convert to an automaton before minimising.
This was fixed in #32
The first-cut version of BuildCFG hs lots of redundant information in the parameters. Investigate how to include only necessary information in order to make it easier to convert to an automaton before minimising.