Accession Number : AD0874274

Title :   An Adaptation of the Balas Additive Algorithm to the Solution of CC Tables.

Descriptive Note : Master's thesis,

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

Personal Author(s) : Mage, John M.

Report Date : MAR 1970

Pagination or Media Count : 68

Abstract : The Covering Closure (CC) table is used as a tool in minimizing the number of internal states in an incompletely specified sequential machine. The CC table represents a highly specialized system of linear inequalities; each variable in the system may take on only the values 0 or 1, the coefficient of each variable is 0,1, or -1. The algorithm presented in the thesis determines the minimum number of variables which must be set equal to 1 in order that all the inequalities are satisfied. The variables represent sets of internal states of the original machine and hence a minimum state machine is obtained. A computer program to implement the techniques is included. (Author)

Descriptors :   (*LINEAR PROGRAMMING, ALGORITHMS), (*LOGIC CIRCUITS, MATHEMATICAL ANALYSIS), COMPUTER LOGIC, COMPUTER PROGRAMS, TABLES(DATA), THESES.

Subject Categories : Operations Research
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE