The Simplification of Incompletely Specified Sequential Machines.
Abstract
The report is founded upon the work of Paull and Unger and Grasselli and Luccio. It uses the concept of Prime Compatibility Classes to develop a new solution method. Prime classes are collected into closed sets called Composite Classes. The resulting Composite Classes are then used to construct a new tabular display called a Set Composition table or SC table. Since the variables of the SC table are closed sets, the table is solved as a prime implicant table to yield a minimal cover. Provision is also made to transform the solution in terms of Composite Classes into a corresponding solution in terms of Prime Classes. The objectives of the study are the following: Obtain a minimal solution through the use of existing methods for solving prime implicant tables; Accomodate and solve problems already formulated as CC tables; and Simplify procedures to permit computer solution. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1969
- Accession Number
- AD0861995
Entities
People
- Robert H. Wehr
Organizations
- Air Force Institute of Technology