2. 状态机分类：Moore型与Mealy型

状态机这东西，说白了就是「根据当前状态和输入，决定下一步怎么走」。但具体怎么走，业内分成了两派：Moore型和Mealy型。很多初学者搞不清区别，甚至觉得「反正都能用，随便选一个呗」——嗯，我当年也这么想，直到在项目里踩了坑才明白，选错了类型，后期改起来真要命。

今天我就把这两兄弟掰开揉碎了讲清楚。你读完就能知道：什么时候该用Moore，什么时候Mealy更香，以及怎么避免我当年犯过的错。

2.1 核心区别：输出到底跟谁有关？

先记住一句话：Moore型看状态，Mealy型看状态+输入。

• Moore型：输出只取决于当前状态。输入变了？只要状态没变，输出就不变。
• Mealy型：输出同时取决于当前状态和当前输入。输入一变，输出可能立刻跟着变。

举个例子你就明白了。假设我们要设计一个「检测连续三个1」的序列检测器：

• Moore实现：需要4个状态（S0~S3）。输出1只在S3状态出现，且必须等到时钟沿才更新。
• Mealy实现：只需要3个状态（S0~S2）。当处于S2且输入为1时，输出立刻为1，不用等下一个时钟。

你看，Mealy用更少的状态就完成了同样的功能。但代价是什么？我们往下看。

2.2 优缺点对比：没有银弹

我在做嵌入式项目时，两种状态机都用过。下面这张表是我自己总结的，你直接拿去用：

对比项	Moore型	Mealy型
输出依赖	仅当前状态	当前状态 + 当前输入
状态数量	通常较多	通常较少
输出时序	时钟沿后更新，稳定	输入变化即响应，可能有毛刺
抗干扰能力	强（输出与输入隔离）	弱（输入噪声直接传至输出）
设计复杂度	状态图清晰，易维护	状态图紧凑，但逻辑易混乱
典型应用	控制逻辑、安全关键系统	高速数据通路、协议解析

我个人习惯是：如果项目对时序要求不苛刻，优先用Moore。为什么？因为调试起来省心。我曾经在一个电机控制项目里用了Mealy，结果输入信号有抖动，输出跟着乱跳，电机嗡嗡响。后来改成Moore，加了一级状态缓冲，问题立刻解决。

2.3 选型指南：到底选哪个？

你可能会问：「那我到底该用哪个？」别急，我给你三个判断标准：

1. 看输出是否需要立即响应输入：如果需要「输入一变，输出立刻变」，选Mealy。比如UART的位采样、高速数据包的标志位生成。
2. 看系统对稳定性要求：如果输出抖动会导致严重后果（比如刹车控制、医疗设备），选Moore。输出与输入隔离，天然抗干扰。
3. 看状态数量是否敏感：如果资源紧张（比如8位MCU的RAM只有256字节），Mealy用更少状态的优势就体现出来了。

嗯，这里还要补充一点：混合使用也是可以的。我在一个智能家居网关项目里，主控状态机用Moore保证稳定性，但内部某个子状态机用Mealy处理红外遥控的快速解码。两者各司其职，效果很好。

2.4 代码对比：一看就懂

光说不练假把式。下面我用C语言写一个简单的「按键消抖状态机」，分别用Moore和Mealy实现。你对比一下输出部分的不同：

Moore型实现

// Moore型：输出只取决于当前状态
typedef enum {
    ST_IDLE,
    ST_PRESS_WAIT,
    ST_PRESS_CONFIRM,
    ST_RELEASE_WAIT
} State_t;

State_t state = ST_IDLE;
uint8_t output = 0;  // 输出：0=未按下，1=已按下

void moore_fsm(uint8_t key_input) {
    switch(state) {
        case ST_IDLE:
            if(key_input == 1) state = ST_PRESS_WAIT;
            // 输出：ST_IDLE -> output=0
            break;
        case ST_PRESS_WAIT:
            if(key_input == 1) state = ST_PRESS_CONFIRM;
            else state = ST_IDLE;
            // 输出：ST_PRESS_WAIT -> output=0
            break;
        case ST_PRESS_CONFIRM:
            if(key_input == 0) state = ST_RELEASE_WAIT;
            // 输出：ST_PRESS_CONFIRM -> output=1
            break;
        case ST_RELEASE_WAIT:
            if(key_input == 0) state = ST_IDLE;
            else state = ST_PRESS_CONFIRM;
            // 输出：ST_RELEASE_WAIT -> output=0
            break;
    }
    // Moore的输出更新：根据当前状态统一赋值
    output = (state == ST_PRESS_CONFIRM) ? 1 : 0;
}

Mealy型实现

// Mealy型：输出取决于状态+输入
typedef enum {
    ST_IDLE,
    ST_PRESS_WAIT,
    ST_RELEASE_WAIT
} State_t;

State_t state = ST_IDLE;
uint8_t output = 0;

void mealy_fsm(uint8_t key_input) {
    switch(state) {
        case ST_IDLE:
            if(key_input == 1) {
                state = ST_PRESS_WAIT;
                output = 0;  // 输入为1但还没确认，输出0
            } else {
                output = 0;
            }
            break;
        case ST_PRESS_WAIT:
            if(key_input == 1) {
                state = ST_RELEASE_WAIT;
                output = 1;  // 输入持续为1，确认按下，输出1
            } else {
                state = ST_IDLE;
                output = 0;  // 输入变0，回到空闲
            }
            break;
        case ST_RELEASE_WAIT:
            if(key_input == 0) {
                state = ST_IDLE;
                output = 0;  // 松开，输出0
            } else {
                output = 1;  // 还没松开，保持输出1
            }
            break;
    }
}

看出区别了吗？Moore的输出在switch外面统一赋值，而Mealy的输出在每个case分支里就决定了。这就是「输出依赖输入」的体现——Mealy的output在同一个状态下，可能因为输入不同而不同。

2.5 知识体系图

下面这张SVG图，把Moore和Mealy的核心区别、优缺点、选型逻辑串在了一起。你保存下来，以后做设计时对照着看：

2.6 写在最后

Moore和Mealy没有绝对的好坏，只有合不合适。我见过有人死磕Moore，结果状态图画了20多个，代码又臭又长；也见过有人迷信Mealy，结果输出毛刺搞到系统崩溃。记住：工具是死的，人是活的。

你如果刚开始学状态机，我建议你先用Moore把基础打牢。等你能闭着眼睛画出状态转换图了，再试试Mealy的「快准狠」。到那时候，你自然就知道什么时候该用哪个了。

---

公众号:蓝海资料掘金营，微信deep3321