A generalization of the theory of incompletely specified machines
作者：
Highlights：
•
摘要
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.
论文关键词：
论文评审过程：Received 2 March 1972, Available online 27 December 2007.
论文官网地址：https://doi.org/10.1016/S0022-0000(72)80012-6
