C.C. Elgot, J.D. Rutledge
Journal of the ACM
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.
C.C. Elgot, J.D. Rutledge
Journal of the ACM
J.D. Rutledge
Journal of the ACM
J.D. Rutledge
Journal of Computer and System Sciences
Z. Barzilai, J.Lawrence Carter, et al.
IEEE ITC 1985