Accession Number : AD0861995

Title :   The Simplification of Incompletely Specified Sequential Machines.

Descriptive Note : Master's thesis,

Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING

Personal Author(s) : Wehr, Robert H.

Report Date : MAR 1969

Pagination or Media Count : 89

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)

Descriptors :   (*SWITCHING CIRCUITS, MATHEMATICAL LOGIC), COMPUTER LOGIC, SET THEORY, LINEAR PROGRAMMING, GRAPHICS, THESES.

Subject Categories : Operations Research

Distribution Statement : APPROVED FOR PUBLIC RELEASE