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