An Approach for Supervisor Reduction of Discrete-Event Systems