相关资料来自Finite-state machine
可以看做一个抽象的机器,一次只能在一个状态。如果被一个触发事件或者条件所发起,可以从一个状态变到另外一个状态,这个过程叫做转变。一个特定的Finite-state machine(FSM)有有限个状态,每一种转变有一个特定的触发条件。
但是只有有限个状态,所以FSM得能力不如其他的计算模型,例如图灵机Turing machine。
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;