-
New files. Algorithm to minimize an automaton using first the powerset construction to determinize the input automaton, the automaton is then minimized using the standard algorithm, using BDDs to check if states are equivalent.
03e6dc47
To find the state of this project's repository at the time of any of these versions, check out the tags.