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

4.9.3 不完全规定时序机的状态化简
　所谓不完全规定的有限状态机是指其状态表次态Next一栏出现了未明确指定的状态（用表示）；或输出Out一栏出现了未明确指定的值（用u表示）。既然状态表中出现了未明确指定的状态或值，就允许综合时任意对其指定，从而给化简带来更多的机会。恰当地给未确定的状态或值指定一个合适的值，将对状态化简带来很大影响。如果我们把目标定为状态最小化，其难度无疑是增加了。
　1. 相容状态的概念
　在完全规定时序机中，我们建立了等价状态对、等价类、及最大等价类等概念，现在我们要把等价的概念扩展为相容。