关于状态机 finite-state machine

最新推荐文章于 2023-04-17 22:27:12 发布

Robin就是想去水卢

最新推荐文章于 2023-04-17 22:27:12 发布

阅读量1.1k

点赞数

分类专栏：杂

本文链接：https://blog.csdn.net/d56336/article/details/37599345

版权

本文探讨了有限状态机（FSM）的概念，它是一种只能处于有限数量状态的抽象机器，根据触发事件或条件进行状态转换。讨论了事件驱动的FSM和基于自动机的编程，特别是独立的自动机步骤程序和显式状态转换表的使用。通过状态转换表详细解释了FSM如何根据输入字符进行状态变化和输出决策。

摘要由CSDN通过智能技术生成

Event-driven finite-state machine

下面的程序就是一个车上的播放器的简单表示，总共两个状态：radio模式和CD模式。

If (mode change)

radio to CD back and forth;

if (go to next)

next preset for radio or next CD track;

用到了枚举和switch语句。

/********************************************************************/
#include <stdio.h>
 
/********************************************************************/
typedef enum {
        ST_RADIO,
        ST_CD
} STATES;
 
typedef enum {
        EVT_MODE,
        EVT_NEXT
} EVENTS;
 
EVENTS readEventFromMessageQueue(void);
 
/********************************************************************/
int main(void)
{
  /* Default state is radio */  
  STATES state = ST_RADIO;
  int stationNumber = 0;
  int trackNumber = 0;
 
  /* Infinite loop */
  while(1)
  {
    /* Read the next incoming event. Usually this is a blocking function. */
    EVENTS event = readEventFromMessageQueue();
 
    /* Switch the state and the event to execute the right transition. */
    switch(state)
    {
      case ST_RADIO:
        switch(event)
        {
          case EVT_MODE:
            /* Change the state */
            state = ST_CD;
            break;
          case EVT_NEXT:
            /* Increase the station number */
            stationNumber++;
            break;
        }
        break;
 
      case ST_CD:
        switch(event)
        {
          case EVT_MODE:
            /* Change the state */
            state = ST_RADIO;
            break;
          case EVT_NEXT:
            /* Go to the next track */
            trackNumber++;
            break;