3、状态机类型：Moore机与Mealy机的区别、层次状态机（HSM）、扩展状态机（ESM）的适用场景
状态机的类型选择直接决定了系统的响应速度、资源占用、可维护性和可扩展性。在嵌入式固件、通信协议栈、UI交互逻辑以及复杂业务控制系统中，Moore机与Mealy机的差异、层次状态机（HSM）的抽象能力、扩展状态机（ESM）的变量与事件扩展机制，是架构师必须掌握的核心决策依据。本章将从数学模型出发，剖析三类状态机的本质区别，并结合实际工程场景给出选型建议与设计要点。
上图展示了三类状态机的核心特征与选型路径。Moore机与Mealy机的本质区别在于输出生成机制，而HSM与ESM则是在此基础上的结构性扩展。下面逐一深入剖析。
3.1 Moore机与Mealy机的数学本质与工程差异
核心原理
Moore机（摩尔机）的输出仅取决于当前状态，与输入无关，其数学模型可表示为：输出 = λ(当前状态)。这意味着状态转移发生在时钟边沿，输出在状态稳定后一个周期内保持恒定。Mealy机（米利机）的输出则同时取决于当前状态和当前输入，即输出 = λ(当前状态, 输入)。这种差异导致Mealy机在输入变化的同一时刻即可产生输出响应，而Moore机必须等待状态更新完成。
从时序角度分析，Moore机天然具备“寄存器输出”特性，所有输出信号在时钟同步下更新，因此不存在组合逻辑毛刺。Mealy机由于输出路径上存在组合逻辑，当输入信号在时钟周期内多次变化时，输出可能产生瞬时错误脉冲。但Mealy机的优势在于：相同功能所需的状态数量更少，因为输出可以直接利用输入信息，无需为每种输出组合单独设置状态。
判断方法
| 对比维度 | Moore机 | Mealy机 |
|---|---|---|
| 输出表达式 | 仅依赖当前状态 | 依赖状态 + 输入 |
| 状态数量 | 相对较多 | 相对较少 |
| 输出时序 | 状态更新后一个周期 | 输入变化立即响应 |
| 毛刺风险 | 低（寄存器输出） | 高（组合逻辑输出） |
| 典型应用 | 按键消抖、UART接收、安全联锁 | SPI主控、PWM生成、高速比较器 |
案例拆解：UART接收器设计
以UART接收状态机为例，设计一个115200bps、8N1格式的接收器。若采用Moore机，需要定义IDLE、START、DATA0~DATA7、STOP共10个状态。每个数据位状态内部通过计数器采样16次，确保在位的中心点读取数据。输出（移位寄存器的使能信号）仅在DATA状态有效，与输入无关，因此不会出现毛刺。
若改用Mealy机，可以将数据位状态合并为一个DATA状态，通过输入的电平变化和计数器共同决定何时移位。这样状态数减少到3个（IDLE、DATA、STOP），但移位使能信号由“当前状态=DATA且计数器=8”的组合逻辑产生，当输入信号存在噪声时，可能产生额外的移位脉冲。实际测试中，Mealy机方案在信号质量较差时误码率明显升高。
复盘结论：对于通信接收这类对信号完整性要求高的场景，Moore机虽然多占用几个状态，但换来了输出稳定性，是更安全的选择。
3.2 层次状态机（HSM）的抽象与复用机制
核心原理
层次状态机（Hierarchical State Machine）通过引入“父状态-子状态”的嵌套结构，解决了平面状态机在状态数量膨胀时的维护困境。其核心思想是状态继承：子状态自动继承父状态的迁移规则和动作。例如，一个“通信中”父状态包含“等待ACK”“重传”“接收数据”三个子状态，当发生“超时”事件时，父状态定义了统一的处理逻辑，子状态无需重复实现。
HSM还支持历史状态记忆（History State），当从父状态退出后重新进入时，可以直接恢复到上次离开的子状态，而不是从初始子状态开始。这一特性在UI界面切换、设备模式恢复等场景中极为实用。
操作流程：HSM设计步骤
- 状态聚类：将具有相同行为特征的状态归入同一父状态，例如“初始化”父状态包含“等待电源稳定”“等待时钟锁定”“等待校准完成”。
- 定义公共迁移：在父状态层定义对所有子状态生效的事件处理，如“全局复位”“致命错误”。
- 识别历史需求：判断是否需要记忆子状态位置，若需要则在父状态内添加H历史标记。
- 逐层细化：对每个父状态内部继续划分，直到叶子状态的行为足够简单。
案例拆解：智能家居网关状态管理
某智能家居网关需要管理Wi-Fi连接、Zigbee子设备、蓝牙配网三种通信模式。平面状态机需要定义至少15个状态，且状态间迁移关系复杂。采用HSM后，设计如下：
- 父状态“网络服务”：包含“Wi-Fi连接”“Zigbee协调”“蓝牙配网”三个子状态。父状态定义“网络断开”事件，统一执行重连策略。
- 父状态“设备管理”：包含“设备发现”“设备绑定”“设备升级”子状态，父状态处理“设备超时”事件。
- 历史状态应用：当网关进入低功耗模式时，记录当前处于“设备升级”状态；唤醒后直接回到升级进度，而非重新开始。
实现后，状态迁移代码量减少了40%，且新增一种通信协议时，只需在“网络服务”父状态下增加一个子状态，不影响其他逻辑。
3.3 扩展状态机（ESM）的变量与事件扩展
核心原理
扩展状态机（Extended State Machine）在传统FSM基础上引入变量、定时器、计数器和算术运算能力。与纯FSM不同，ESM的状态迁移条件不仅依赖事件类型，还可以依赖变量的当前值。例如，一个温度控制系统，当温度超过80℃且持续5秒时触发报警，这需要同时使用比较运算和定时器。
ESM的数学基础是“状态 + 变量 = 扩展状态”，其中变量构成了隐式的“记忆”。这使得ESM可以用更少的状态表达更复杂的逻辑。例如，一个电梯控制系统，使用变量记录当前楼层、目标楼层、运行方向，状态机只需定义“静止”“上行”“下行”三个状态，而无需为每个楼层组合创建独立状态。
适用场景判断
| 场景特征 | 是否适合ESM | 原因 |
|---|---|---|
| 需要计数（如重传次数） | 非常适合 | 计数器变量替代多个重复状态 |
| 需要定时（如超时判断） | 非常适合 | 定时器变量与事件结合 |
| 需要数据运算（如校验和） | 适合 | 变量存储中间结果 |
| 纯事件驱动且无数据依赖 | 不适合 | 纯FSM更简单直接 |
案例拆解：TCP连接状态管理
TCP协议栈的状态机是ESM的典型应用。标准TCP状态机包含11个状态，但实际实现中需要处理序号比较、窗口大小、重传超时等复杂逻辑。若使用纯FSM，每个状态需要为不同的序号范围创建子状态，状态数将爆炸式增长。
采用ESM后，在状态机中引入以下变量：snd_una（已确认序号）、snd_nxt（下一个发送序号）、rcv_nxt（期望接收序号）、cwnd（拥塞窗口）。状态迁移条件变为“当收到ACK且ACK序号大于snd_una时，更新snd_una并调整cwnd”。这样，ESTABLISHED状态内部通过变量运算处理了99%的数据传输逻辑，状态机本身保持简洁。
实际测试中，ESM方案相比纯FSM实现，代码行数减少约35%，且新增拥塞控制算法时无需修改状态迁移框架，只需调整变量更新逻辑。
typedef struct { uint32_t snd_una; uint32_t snd_nxt; uint16_t cwnd; } TcpVars;
3.4 三类状态机的协同使用与选型总结
混合架构模式
在实际工程中，HSM与ESM并非互斥，而是经常组合使用。典型的混合模式是：HSM负责状态的组织结构，ESM负责状态内部的数据处理。例如，一个通信协议栈可以设计为：
- 顶层HSM管理“连接建立”“数据传输”“连接释放”等阶段。
- 每个阶段内部使用ESM，通过变量跟踪序号、窗口、重传计数。
- 底层物理层使用Moore机保证信号采样稳定。
这种分层设计使得每一层都可以独立测试和优化。HSM层关注状态迁移的正确性，ESM层关注数据运算的准确性，Moore机层关注时序的确定性。
选型决策清单
- 输出是否依赖输入？是→考虑Mealy；否→Moore。
- 状态数量是否超过10个且存在公共行为？是→引入HSM。
- 是否需要计数、定时或数据运算？是→引入ESM变量。
- 是否需要历史状态恢复？是→在HSM中使用History标记。
- 系统是否对毛刺敏感？是→避免Mealy机直接输出。
常见误区与复盘
综上所述，Moore机与Mealy机的选择本质是“稳定性与响应速度”的权衡，HSM解决的是“状态组织与复用”问题，ESM解决的是“数据记忆与运算”问题。在实际项目中，应根据系统约束（时钟频率、资源占用、可维护性）综合判断，灵活组合使用。掌握这三类状态机的本质差异，是设计健壮、可扩展的复杂系统的关键能力。