ON THE CONSTRUCTION OF THE LATTICE OF SP PARTITIONS.

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.

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1967
Accession Number
AD0658000

Entities

People

  • Thomas F. Piatkowski

Organizations

  • University of Michigan

Tags

DTIC Thesaurus Topics

  • Construction
  • Generators
  • Transitions

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Graph Algorithms and Convex Optimization.
  • Mathematical Modeling and Probability Theory.