* --- Returns a mapping of states in the original automaton to
* their representative states in the minimised automaton. This
* array must be at least of size <code>nStates</code>.
*/
private void minimise(int[] binding) {
BinaryMatrix equivs = new BinaryMatrix(nStates, nStates, true);
Automata.determineEquivalenceClasses(this, equivs);
Automata.determineRepresentativeStates(this, equivs, binding);
// First, remap states so all references are to the unique
// representatives.