Machine properties preserved under state minimization
Most of the published material concerning "state minimization of incompletely specified machines" has been concerned with finding an algorithm which yields a minimum state machine M' which satisfies [ER, p. 132] a given machine M. A fundamental theorem, in this connection, is given in [PU]. We are concerned here primarily with properties which some or all machines M' inherit from M.