A generalized theory of incompletely specified machines is described in whichspecification of various alternative outputs is possible for any given input. Also, certain inputs may be prohibited. Algorithms for state reduction are given. © 1972 Academic Press, Inc.
