Mealy Machine Minimizer