Issue No. 02 - February (2002 vol. 51)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.980009
<p>Finite state machines are widely used to model systems in diverse areas. Often, the modeling machines can be decomposed into smaller component machines and this decomposition can facilitate the system design, implementation, and analysis. Hartmanis and Stearns developed an elegant algebraic theory for machine decomposition that is based on the closed partition lattice of a machine. In this paper, we study the computation of the closed partition lattice of finite state machines for the application to their decomposition. We present efficient algorithms for constructing the closed partition lattice and for machine decomposition.</p>
Finite state machine, machine decomposition, closed partition lattice.
M. Yannakakis and D. Lee, "Closed Partition Lattice and Machine Decomposition," in IEEE Transactions on Computers, vol. 51, no. , pp. 216-228, 2002.