SERIAL DECOMPOSITION OF SEQUENTIAL MACHINE INTO SPECIFIED CLASSES OF SUBMACHINES,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1967
- Accession Number
- AD0648557
Entities
People
- Earl David Crockett
Organizations
- University of Illinois Urbana–Champaign