Title :
A Decomposition Method of Determining Maximum Compatibles
Author :
Roy, P.K.Sinha ; Sheng, C.L.
Author_Institution :
Department of Electrical Engineering, Faculty of Pure and Applied Science, University of Ottawa, Ottawa, Ont., Canada.
fDate :
3/1/1972 12:00:00 AM
Abstract :
A direct method of determining the maximum compatibility sets of an incompletely specified flow table of a sequential machine is presented. Subsets of pairwise incompatibles are utilized to decompose the set of all states in a step-by-step process into the maximum compatibles in a few steps. The method is simpler and faster than previously reported tabular, algebraic, and graphical techniques.
Keywords :
Joining processes; Decomposition tree; flow table; incompletely specified sequential machines; pairwise incompatibles;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1972.5008956
