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

4.9.1 时序机的数学模型
　设I代表所有可能的输入组合的集合；Z代表所有可能的输出组合的集合；S代表所有可能的状态的集合。
　我们最关心的（也是最常见的）是状态个数有限的时序机，称为有限状态机（Finite State Machine，FSM）。假定有限状态机的当前状态为s_i∈S；当前输入为I_p∈I；由此而产生的输出Z_k∈Z；后继状态（次态）s_n∈S。s_n 和Z_k 都唯一地由s_i 和I_p所确定，因此可用N(s_i , I_p)表示后继状态函数（状态转换函数），Z(s_i , I_p)表示输出函数。