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):

Report Date:

1967-07-01

Pagination or Media Count:

12.0

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 machines 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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE