A new method for the state reduction of incompletely specified finite sequential machines