A generalization of the theory of incompletely specified machines

D.E. Muller; R.E. Miller

doi:10.1016/S0022-0000(72)80012-6

Journal of Computer and System Sciences

Paper

01 Jan 1972

A generalization of the theory of incompletely specified machines

View publication

Abstract

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.

Paper