Accession Number : AD0658000

Title :   ON THE CONSTRUCTION OF THE LATTICE OF SP PARTITIONS.

Descriptive Note : Technical rept.,

Corporate Author : MICHIGAN UNIV ANN ARBOR SYSTEMS ENGINEERING LAB

Personal Author(s) : Piatkowski, Thomas F.

Report Date : JUL 1967

Pagination or Media Count : 12

Abstract : The report presents a method for constructing the lattice of SP partitions for any given finite-state machine via a state-pair graph constructed directly from the machine's transition function and a homomorphism which reduces a set of subgraphs to the full SP partition lattice for the machine. The method is a graphical extension of the two-state generator procedure of Hartmanis and Stearns.

Descriptors :   (*AUTOMATA, MATHEMATICAL ANALYSIS), GRAPHICS, MAPPING(TRANSFORMATIONS), OPERATORS(MATHEMATICS).

Subject Categories : Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE