Finished the DFAMachineMin