状态是对历史的压缩，也是对未来的承诺。
你有没有想过：为什么你的蓝牙耳机一开机就能自动连接手机？为什么 USB 设备插上电脑后，系统能一步步识别出它是什么？为什么按下 ATM 机的“取款”按钮后，界面会按照固定流程一步步走下去？
答案藏在所有数字系统最底层的结构里——有限状态机。
一、为什么需要状态机？
数字系统与物理世界之间有一道鸿沟：物理世界是连续的（电压平滑上升、射频场持续存在），而数字系统是离散的（只有 0 和 1，只有时钟边沿的采样）。状态机就是跨越这道鸿沟的桥梁。
状态机的三个核心要素：
- 状态：系统在某个时刻所处的稳定局面。例如蓝牙的“连接态”意味着设备已经完成握手，可以收发数据。
- 事件：导致状态迁移的触发器。例如“收到连接请求”、“总线空闲”、“超时”。
- 动作：在迁移过程中或进入新状态时执行的操作。
状态机让数字系统能够“记住”过去，并据此决定未来的行为。
二、状态的本质：历史的压缩，未来的预期
一个处于“连接态”的蓝牙设备，其状态本身就浓缩了它曾经与对端完成握手、约定了未来通信时刻的全部历史。我们不需要知道它何时握的手、用了什么参数，只需知道“现在处于连接态”，就足以推断它对未来事件的响应方式。
状态是对历史的压缩，也是对未来的预期。
- 历史压缩：状态丢掉了所有不必要的细节，只保留会影响未来决策的信息。
- 未来预期：给定当前状态，系统知道哪些事件需要响应，哪些可以忽略。
三、从状态机看协议设计：四个经典案例
1. USB 设备枚举
USB 设备的生命周期是一套典型的状态机：
- 默认态：设备响应地址 0，等待主机分配地址。
- 地址态：设备有了唯一地址，但尚未配置功能。
- 配置态：设备加载驱动，端点激活，可以正常工作。
为什么需要这么多状态？因为 USB 要支持热插拔和即插即用，每个状态都对应一个“准备程度”。主机可以通过标准请求推动设备状态迁移，无需知道设备具体是什么。
2. CAN 总线的错误处理
CAN 节点的错误状态机是工业可靠性的典范：
- 错误激活：正常状态，检测到错误时发送主动错误标志（6 个显性位）。
- 错误被动：错误计数器超过阈值，只能发送被动错误标志（6 个隐性位），不干扰总线。
- 总线关闭：错误太多，彻底离线，等待恢复。
这个状态机完全由硬件计数器自动演进，CPU 不参与，保证了最坏情况下的确定性。
3. 蓝牙的连接状态机
经典蓝牙的连接状态迁移：
- 待机：不发送也不接收。
- 广播：周期性发送广播包，宣告存在。
- 扫描：监听广播包，寻找可连接的设备。
- 发起：发送连接请求。
- 连接：建立连接，可以传输数据。
- 省电：进入嗅模式或保持模式，降低功耗。
这套状态机让蓝牙可以在极低功耗下维持连接，同时保证音频等实时数据的低延迟。
4. SLAM 机器人的状态管理
机器人定位与建图（SLAM）也用状态机管理“信念”：
- 初始化：启动传感器，建立初始地图。
- 跟踪：正常定位，逐帧估计位姿。
- 重定位：跟踪丢失，尝试通过全局特征匹配找回位置。
- 丢失：无法找回，等待重置或人工干预。
这种分层状态机让 SLAM 系统可以在恶劣环境中优雅降级，而不是直接崩溃。
四、状态机演化的四个维度
不同领域的状态机设计差异，体现在四个维度的权衡：
| 维度 | 粗粒度 | 细粒度 |
|---|---|---|
| 状态粒度 | CAN 三级错误状态 | USB 3.0 LTSSM 有 12 个状态 |
| 角色确定性 | Zigbee 角色固定 | USB OTG 动态切换主从 |
| 时间颗粒度 | MIPI 物理层纳秒级 | SLAM 后端秒级 |
| 容错策略 | CAN 快速失败（bus-off） | SLAM 优雅降级（重定位） |
没有哪个维度是绝对的好或坏，只有是否匹配设计目标。
五、状态机作为通用思维模型
当你跳出技术领域，会发现状态机可以解释远远超出协议的东西。
- 人类的情绪：愤怒、悲伤、平静——那是我们在特定情境下的“状态”。触发事件（被冒犯）导致状态迁移（平静→愤怒），在不同状态下对同一事件（被询问）的反应完全不同。
- 组织的流程：创业公司的“种子轮→A轮→B轮”，本质上也是一个状态机。每轮融资是事件，每个阶段的资源调配和决策逻辑就是“状态下的行为”。
- 知识的演进：从“未知”到“知晓”到“理解”到“融会贯通”，不也是知识在我们头脑中的状态迁移吗？
状态机教会我们：面对复杂世界，首先要做的是离散化（找到关键状态），然后是抽象化（压缩历史），最后是路径化（定义合法的迁移路径）。
六、写在最后
协议和设备的运行本质，是用有限的状态应对无限的世界。
这不是妥协，而是智慧。状态机之所以成为所有协议的内在逻辑，不是因为它能处理所有可能性，恰恰相反——因为它敢于忽略绝大多数可能性，只关注那些对系统存在至关重要的少数事件。
当你刷开地铁闸机的那一刻，NFC 状态机从“空闲”到“发现”到“选择”到“激活”再到“空闲”，完成了一次完整的生命。这个过程只用了不到 100 毫秒，却压缩了射频物理、协议协商、安全认证的全部历史。
这就是状态机的力量。
本文节选自《权衡之境》主题6。书稿已完成，出版在即。
更多思维模型可访问我的 GitHub 仓库：https://github.com/jakegom/weighing-the-world（27 个工程师专属思维模型卡片，持续更新）
——高翔，技术哲学作者，系统架构师。著有《权衡之境：一位工程师的技术哲学笔记》，专注技术决策的底层逻辑与思维模型。