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

　　知识点：
　　时序机的数学模型----有限状态机
　　完全规定时序机的状态最小化
　　　·等价状态
　　　·最大等价类
　　　·状态最小化的逐次分割法
　　不完全规定时序机的状态最小化
　　　·相容状态对
　　　·相容类
　　　·最大相容类
　　　·状态最小化的团划分算法
　　时序机的状态分配