有限状态机(FSM)原理与实现：Moore与Mealy对比

1. 有限状态机基础概念解析

有限状态机（Finite State Machine，FSM）是计算机科学和电子工程领域广泛使用的一种数学模型。它由一组有限的状态、触发状态转换的事件以及在状态转换时执行的动作组成。理解FSM的核心在于掌握四个关键概念：

1.1 状态（State）

状态是系统在特定时刻所处的状况。一个典型的FSM至少包含两个状态，例如：

• 自动门的"开启"和"关闭"状态
• 电梯的"上行"、"下行"和"停止"状态
• 交通信号灯的"红灯"、"绿灯"和"黄灯"状态

在设计状态时，需要确保它们互斥且完备，即系统在任何时刻都处于且仅处于一个明确定义的状态。

1.2 事件（Event）

事件是触发状态转换的外部输入或条件。例如：

• 对于自动门，"按下开门按钮"是一个事件
• 对于电梯，"楼层选择按钮被按下"是一个事件
• 对于交通信号灯，"定时器超时"是一个事件

事件可以是同步的（如时钟信号）或异步的（如用户输入），设计时需要明确每个事件可能触发的状态转换。

1.3 动作（Action）

动作是在状态转换过程中执行的操作。例如：

• 自动门从关闭到开启状态时，"启动电机开门"是一个动作
• 电梯从停止到上行状态时，"启动马达并关闭门"是一个动作
• 交通信号灯从绿灯到黄灯状态时，"点亮黄灯"是一个动作

动作可以是简单的函数调用，也可以是复杂的操作序列。它们通常在状态转换时执行，但在某些实现中也可能在进入或退出状态时执行。

1.4 转换（Transition）

转换描述系统如何从一个状态改变到另一个状态。每个转换通常由三部分组成：

1. 源状态（转换开始的状态）
2. 触发事件（导致转换的条件）
3. 目标状态（转换结束的状态）

例如，自动门的"从关闭到开启"转换可能表示为：

• 源状态：closed
• 触发事件：按下开门按钮
• 目标状态：open
• 伴随动作：启动电机开门

提示：在设计状态转换时，需要考虑所有可能的事件和状态组合，确保系统在任何情况下都有明确定义的行为。

2. Moore状态机深度解析

2.1 Moore状态机核心特征

Moore状态机由Edward F. Moore在1956年提出，其最显著的特点是输出仅取决于当前状态，与输入无关。数学上可以表示为：

code复制输出 = f(当前状态)

这种特性带来几个重要影响：

1. 输出响应延迟：输入变化不会立即影响输出，必须等到状态改变后输出才会更新
2. 确定性输出：对于给定的状态，输出总是相同的
3. 简单性：设计相对简单，因为输出逻辑与状态转换逻辑解耦

2.2 Moore状态机实现方式

2.2.1 基于switch-case的实现

这是最直观的实现方式，适合状态数量较少的情况：

c复制enum { STATE_A, STATE_B, STATE_C };
int current_state = STATE_A;

void state_machine_run() {
    switch (current_state) {
        case STATE_A:
            output_action_A();  // 状态决定的输出
            if (event_X) current_state = STATE_B;
            break;
        case STATE_B:
            output_action_B();  // 状态决定的输出
            if (event_Y) current_state = STATE_C;
            else if (event_Z) current_state = STATE_A;
            break;
        case STATE_C:
            output_action_C();  // 状态决定的输出
            current_state = STATE_A;
            break;
    }
}

这种实现的优缺点：

• 优点：结构简单，易于理解
• 缺点：状态多时代码冗长，缩进层次深

2.2.2 基于函数指针的实现

对于复杂状态机，使用函数指针可以改善代码结构：

c复制typedef void (*state_handler)(void);

void state_A(void), state_B(void), state_C(void);
state_handler current_state = state_A;

void state_machine_run() {
    current_state();
}

void state_A(void) {
    output_action_A();
    if (event_X) current_state = state_B;
}

void state_B(void) {
    output_action_B();
    if (event_Y) current_state = state_C;
    else if (event_Z) current_state = state_A;
}

void state_C(void) {
    output_action_C();
    current_state = state_A;
}

这种实现的优势：

• 每个状态逻辑独立封装
• 易于扩展和维护
• 状态转换关系更清晰

2.3 Moore状态机应用场景

Moore状态机特别适合以下场景：

1. 输出需要稳定、不频繁变化的系统

   • 数字显示控制器
   • 交通信号灯系统
   • 工业设备状态指示

2. 输入事件处理与输出更新可以异步进行的系统

   • 用户界面状态管理
   • 网络协议状态跟踪
   • 游戏AI状态控制

3. 需要简化调试和维护