4.9 时序逻辑电路的自动综合

4.9.3 不完全规定时序机的状态化简
　2. 用团划分法使不完全规定时序机状态最小化
　我们的目标是求出不完全规定时序机状态集合S的一个最小化（或接近最小化）的置换性划分π，所谓最小化是指π中元素个数最少。
　S = { s₁,s₂,……s_j,…s_n }
　π = { S₁,S₂,……S_i,…S_m }
　S_i∈π 是S的一个子集，是一个相容类。
　我们把相容类看作团划分法中的"团"，就可以把团划分法应用于不完全规定时序机状态的最小化。其主要思路是把不相容状态孤立起来，形成一个个相容类的生长点。然后使这些生长点逐渐扩大，形成规模较大的相容类，最后形成划分π。