1. 状态分配
  2. 状态图
    • 先画主循环,优先能狗走最远的情况,加上最后能够返回最短的情况
  3. 状态化简
  4. 作状态转换真值表
  5. 选择触发器类型,确定触发器的个数
  6. 求出状态方程、激励方程、输出方程
  7. 检查电路能否自启动
  8. 画出电路图

初始状态、依次变长的字符串状态

向二的幂取整(多余的放 d)

写出 function table

替换成 01 成为 truth table

同步时序状态化简