有限状态机描述方式特别适用于具有顺序执行特征的数字系统控制器的设计