APPLICATION OF THE HOUSE-RADO PROCEDURE TO THE SOLUTION OF CC TABLES.
Abstract
A method is developed for obtaining the optimal solution for a CC table. The method is based on concepts developed by House and Rado for a related problem. It also incorporates several well known table reduction rules. The advantage of the method over other techniques, i.e., column branching and Boolean algebra, is that every solution need not be examined before the optimal is determined. Factors affecting the efficiency of the method are discussed and an example solution of a typical CC table is illustrated. A practical application of the method to the reduction of incompletely-specified sequential machines is included as an appendix. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1967
- Accession Number
- AD0665130
Entities
People
- Thomas Charles Darr
Organizations
- Air Force Institute of Technology