状态分配 状态图 先画主循环,优先能狗走最远的情况,加上最后能够返回最短的情况 状态化简 作状态转换真值表 选择触发器类型,确定触发器的个数 求出状态方程、激励方程、输出方程 检查电路能否自启动 画出电路图 初始状态、依次变长的字符串状态 向二的幂取整(多余的放 d) 写出 function table 替换成 01 成为 truth table 同步时序状态化简