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. Graph-theoretical 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