有限状态机FSM

有限状态机,也称为FSM(Finite State Machine)，其在任意时刻都处于有限状态集合中的某一状态。当其获得一个输入字符时，将从当前状态转换到另一个状态，或者仍然保持在当前状态。任何一个FSM都可以用状态转换图来描述，图中的节点表示FSM中的一个状态，有向加权边表示输入字符时状态的变化。如果图中不存在与当前状态与输入字符对应的有向边，则FSM将进入“消亡状态(Doom State)”，此后FSM将一直保持“消亡状态”。状态转换图中还有两个特殊状态：状态1称为“起始状态”，表示FSM的初始状态。状态6称为“结束状态”，表示成功识别了所输入的字符序列。

有限状态机是一种用来进行对象行为建模的工具，其作用主要是描述对象在它的生命周期内所经历的状态序列，以及如何响应来自外界的各种事件。在计算机科学中，有限状态机被广泛用于建模应用行为、硬件电路系统设计、软件工程，编译器、网络协议、和计算与语言的研究。比如下图非常有名的TCP协议状态机。

其实我们在编程时实现相关业务逻辑时经常需要处理各种事件和状态切换，写各种switch/case 和if/else ，所以我们其实可能一直都在跟有限状态机打交道，只是可能没有意识到。在处理一些业务逻辑比较复杂的需求时，可以先看看是否适合用一个有限状态机来描述，如果可以把业务模型抽象成一个有限状态机，那么代码就会逻辑特别清晰，结构特别规整。
下面我们就来聊聊所谓的状态机，以及它如何在代码中实现。
1、状态机的要素
状态机可归纳为4个要素，即现态、条件、动作、次态。“现态”和“条件”是因，“动作”和“次态”是果。详解如下：
①现态：是指当前所处的状态。
②条件：又称为“事件”。当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。
③动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态。
④次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。
我们可以用状态表了表示整个过程，如下图所示。

状态表
这里需要注意的两个问题：
1、避免把某个“程序动作”当作是一种“状态”来处理。那么如何区分“动作”和“状态”？“动作”是不稳定的，即使没有条件的触发，“动作”一旦执行完毕就结束了；而“状态”是相对稳定的，如果没有外部条件的触发，一个状态会一直持续下去。
2、状态划分时漏掉一些状态，导致跳转逻辑不完整。
所以维护上述一张状态表就非常必要，而且有意义了。从表中可以直观看出那些状态直接存在跳转路径，那些状态直接不存在。如果不存在，就把对应的单元格置灰。 每次写代码之前先把表格填写好，并且对置灰的部分重点review，看看是否有“漏态”，然后才是写代码。QA拿到这张表格之后，写测试用例也是手到擒来。
2、状态机在object-C的代码实现。
我在开发百度地图导航过程页以及百度CarLife的反控手机识别中都用到了有些状态机编程，下面我结合个人的经验，给大家分享一个iOS程序中实现有限状态机的写法。
先回顾一下上面那个状态表，其中状态变迁时执行的动作，可能是由一系列的元动作组成，并且通常都是跟现态和次态强相关的，所以，我把状态表做一个改进，如下所示：

在启动一个FSM时，首先必须将FSM置于“起始状态”，然后输入一系列字符，最终，FSM会到达“结束状态”或者“消亡状态”。

明：

在通常的FSM模型中，一般还存在一个“接受状态”，并且FSM可以从“接受状态”转换到另一个状态，只有在识别最后一个字符后，才会根据最终状态来决定是否接受所输入的字符串。此外，也可以将“其实状态”也作为接受状态，因此空的输入序列也是可以接受的。

 

FSM的实现

程序设计思路大致如下：

• 使用状态转换图描述FSM
• 状态转换图中的结点对应不同的状态对象
• 每个状态对象通过一个输入字符转换到另一个状态上，或者保持原状态不变。

通过输入字符从一个状态切换到另一个状态的过程，我们称之为一个映射。在计算机程序设计中，我们可以有两种表示映射的方法：

• 通过算法表示，即“可执行代码（Executable Code）”方式
• 通过一张映射表，即“被动数据（Passive Data）”方式

 

如下详细介绍这两种实现方式：

• 通过Executable Code实现映射的FSM：

这种方式主要是通过条件分支来处理不同的字符，如if或者switch语句块，如

State* State1::Transition(char c)
{
    switch(c)
    {
    case 'A':
        return &s2;
    case 'B':
        return &s3;
    case 'C':
        return &s4;
    case 'D':
        return &s5;
    case '\0':
        return NULL;
    default:
        return NULL;
    }
}

•  通过Passive Data实现映射的FSM：

在如上的switch分支中，其使用类型大致相同，因此，我们可以考虑将相似的信息保存到一张表中，这样就可以在程序中避免很多函数调用。在每个状态中都使用一张转换表来表示映射关系，转换表的索引使用输入字符来表示。此外，由于通过转换表就可以描述不同状态之间的变化，那么就没有必要将每种状态定义为一个类了，即不需要多余的继承和虚函数了，仅使用一个State即可。

#include <limits.h>

class State
{
public:
    State();
    State* transition[range];
};

对于任意一个状态state和输入字符c，后续状态都可以通过state.transition[c]来确定。

类Fsm中的成员state包含6个状态，为了对应方便，我们将结束状态放在state[0]中，每个状态都使用一个三元组 { 当前状态，输入字符，下一个状态 } 来表示：

struct TransGraph   // use triple to describe map
{
    int current_state;
    char input_char;
    int next_state;
};

通用FSM的设计

如果类Fsm可以表示任意类型的FSM，那么就更符合程序设计的要求了。在构造函数中执行的具体配置应该被泛化为一种机制，我们通过这种机制来建立任意的FSM。在Fsm的构造函数中，应该将转换表作为一个参数传入，而非包含具体的转换表，如此，则不需要将转换表的大小硬编码到Fsm中了。因此，在构造函数中必须动态地创建这个存放转换表的内存空间，在析构函数中记着销毁这块内存。

class Fsm
{
public:
    Fsm(TransGraph* p_tg);
    virtual ~Fsm();
    void Reset();
    void Advance(char c);
    int EndState();
    int DoomState();

private:
    State* p_current;
    State* p_state;
};

Fsm::Fsm(TransGraph* p_tg)
{
    int max_state = 0;  // size for dynamically allocated graph
    for (TransGraph* p_temp = p_tg; p_temp->current_state != 0; ++p_temp)
    {
        if (p_temp->current_state > max_state)
            max_state = p_temp->current_state;
        if (p_temp->next_state > max_state)
            max_state = p_temp->next_state;
    }

    p_state = new State[max_state + 1];
    for (TransGraph* p_temp = p_tg; p_temp->current_state != 0; ++p_temp)
        p_state[p_temp->current_state].transition[p_temp->input_char] = &p_state[p_temp->next_state];

    p_current = NULL;
}

Fsm::~Fsm()
{
    delete []p_state;
}

// fsm_with_generalization.h
#ifndef FSM_WITH_GENERALIZATION_H
#define FSM_WITH_GENERALIZATION_H

#include <string.h>
#include <limits.h>     // CHAR_MAX

const int range = CHAR_MAX + 1;

class State
{
public:
    State();
    State* transition[range];
};

struct TransGraph
{
    int current_state;
    char input_char;
    int next_state;
};

class Fsm
{
public:
    Fsm(TransGraph* p_tg);
    virtual ~Fsm();
    void Reset();
    void Advance(char c);
    int EndState();
    int DoomState();

private:
    State* p_current;
    State* p_state;
};


#endif // FSM_WITH_GENERALIZATION_H

// fsm_with_generalization.cc
#include "fsm_with_generalization.h"

State::State()
{
    for (int i = 0; i < range; ++i)
        transition[i] = NULL;
}

Fsm::Fsm(TransGraph* p_tg)
{
    int max_state = 0;  // size for dynamically allocated graph
    for (TransGraph* p_temp = p_tg; p_temp->current_state != 0; ++p_temp)
    {
        if (p_temp->current_state > max_state)
            max_state = p_temp->current_state;
        if (p_temp->next_state > max_state)
            max_state = p_temp->next_state;
    }

    p_state = new State[max_state + 1];
    for (TransGraph* p_temp = p_tg; p_temp->current_state != 0; ++p_temp)
        p_state[p_temp->current_state].transition[p_temp->input_char] = &p_state[p_temp->next_state];

    p_current = NULL;
}

Fsm::~Fsm()
{
    delete []p_state;
}

void Fsm::Reset()
{
    p_current = &p_state[1];
}

void Fsm::Advance(char c)
{
    if (p_current != NULL)
        p_current = p_current->transition[c];
}

int Fsm::EndState()
{
    return p_current == &p_state[0];
}

int Fsm::DoomState()
{
    return p_current == NULL;
}

// test_with_generalization.cc
#include "fsm_with_generalization.h"

#include "stdio.h"  // printf, scanf
#include "stdlib.h" // system

void test_fsm()
{
    char input_string[80];
    printf("Enter input expression: ");
    scanf("%s", input_string);

    TransGraph graph[] =
    {
        {1, 'A', 2}, {1, 'B', 3}, {1, 'C', 4}, {1, 'D', 5},
        {2, 'E', 2}, {2, 'I', 0},
        {3, 'F', 3}, {3, 'J', 0}, {3, 'M', 4},
        {4, 'G', 4}, {4, 'K', 0},
        {5, 'H', 5}, {5, 'L', 0}, {5, 'O', 2}, {5, 'N', 4},
        {0, 0, 0}
    };

    Fsm fsm(graph);
    fsm.Reset();
    int index = 0;
    fsm.Advance(input_string[index++]);

    while (!fsm.EndState() && !fsm.DoomState())
        fsm.Advance(input_string[index++]);

    if (fsm.EndState())
        printf("\nValid input expression");
    else
        printf("\nInvalid input expression");
}


int main()
{
    test_fsm();

    system("pause");
}

当然也可以将上述程序中的转换表不放在主程序中，而是由一个派生自Fsm的子类SpecificFsm提供，在SpecificFsm中设置具体的转换表，然后通过SpecificFsm的初始化列表传到基类Fsm中，这样在主程序中就可以使用SpecificFsm来进行操作了。