Subset-Specified Sequential Machines.
Abstract
In the design of sequential machines to perform specified tasks, situations sometimes arise in which the proper next-state or output entry in the flow-table is neither completely specified nor completely arbitrary. A machine having a flow-table of this type is called a subset-specified sequential machine (SSSM). It is not always possible to find a minimum-state realization of a subset-specified sequential machine using existing techniques for the state-reduction of incompletely-specified machines. A state-reduction procedure is developed for SSSM's which parallels the methods of Paull and Unger and of Grasselli and Luccio, and which reduces to these methods when the SSSM being reduced is an incompletely-specified machine. SSSM flow-tables are Boolean matrices, and can be manipulated as elements of a Boolean algebra. The idea of subset-specification is applicable to the modelling of certain types of learning processes, and to the analysis of systems exhibiting variable behavior or subject to uncertain inputs. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1971
- Accession Number
- AD0730149
Entities
People
- Tom Gordon Purnhagen
Organizations
- Air Force Institute of Technology