
Accession Number : AD0648557
Title : SERIAL DECOMPOSITION OF SEQUENTIAL MACHINE INTO SPECIFIED CLASSES OF SUBMACHINES,
Corporate Author : ILLINOIS UNIV AT URBANA COORDINATED SCIENCE LAB
Personal Author(s) : Crockett, Earl David
Report Date : FEB 1967
Pagination or Media Count : 71
Abstract : A sequential machine decomposition into a specified class of submachines is given. The decomposition is serial, allowing only feedback lines within the submachines. Graphtheoretical techniques are developed to perform operations on the transition graphs which indicate the type of submachines and the interconnecting logic. These are translated into operations on the matrices which represent the transition graphs, and an iterative decomposition procedure is given. The techniques developed can also be used to find the largest block partitions with the substitution property. The theory holds for either completely or incompletely specified sequential machines and is extended to apply to ones in which a decomposition is possible only after state splitting. (Author)
Descriptors : *AUTOMATA, *ALGEBRA, SYNTHESIS, GRAPHICS, THEOREMS, MATRICES(MATHEMATICS), MATHEMATICAL LOGIC, ALGORITHMS, COMPUTER LOGIC.
Subject Categories : Computer Hardware
Cybernetics
Distribution Statement : APPROVED FOR PUBLIC RELEASE