结构

输出和输入和前一个状态有关
有同步和异步两种

有米利(Mealy)和穆尔(Moore)两种,Mealy有输入,Moore没有输入

几个概念

1. 有效状态: 用到的状态就是有效状态
2. 无效状态: 不用的状态就是无效状态
3. 有效循环无效循环: 有效状态的循环就是有效循环,同理无效
4. 自启动不自启动: 能从无效状态进入有效状态就是能自启动的

分析

三个方程,驱动方程,输出方程,状态方程.(异步还要考虑时钟方程)

步骤

1. 时钟方程:各个触发器的CP
2. 驱动方程:各个触发器的输入信号表达式
3. 输出方程:各个触发器的输出信号表达式
4. 状态方程:把驱动方程代入触发器特性方程,求出状态方程,然后算出次态
5. 列状态表,画状态图或时序图
6. 说明功能

输出形如

$$Y=Q^n\_1Q^n\_2$$

驱动形如

$$J=Q^n\_1$$

状态方程就是把驱动方程代倒特性方程里头,求出来就是,

设计

设计的流程和分析相反

1. 逻辑抽象需求
2. 分配状态,画出状态图
3. 选触发器,确认同步异步
   1. 求输出方程
   2. 求状态方程,用卡诺图,无效状态可以当成最小项处理
   3. 求驱动方程,状态方程用特性方程反推回去
4. 画状态图,确认能否自启动