6.5 同步时序电路的有限状态机模型
6.5.3 子模型的合并
3. FSM化简