C語言實現有限狀態機
有限狀態機(finite state machine)是一個數學概念，如果把它運用于程序中，可以發揮很大的作用。它是一種協議，用于有限數量的子程序(”狀態”)的發展變化。每個子程序進行一些處理并選擇下一種狀態(通常取決于下一段輸入)。
有限狀態機(FSM)可以用作程序的控制結構。FSM對于那些基于輸入的在幾個不同的可選動作中進行循環的程序尤其合適。投幣售貨機就是FSM的一個好例子。另外一個你可以想到的復雜的例子就是你正在用的東西，想到了嗎？沒錯，就是操作系統。在投幣售貨機的例子中，輸入是硬幣，輸出是待售商品，售貨機有” 接受硬幣”，”選擇商品”，”發送商品”和”找零錢”等幾種狀態。
它的基本思路是用一張表保存所有可能的狀態，并列出進入每個狀態時可能執行的所有動作，其中最后一個動作就是計算(通常在當前狀態和下一次輸入字符的基礎上，另外再經過一次表查詢)下一個應該進入的狀態。你從一個”初始狀態” 開始。在這一過程中，翻譯表可能告訴你進入了一個錯誤狀態，直到到達結束狀態。
在C語言中，有好幾種方法可以用來表達FSM，但它們絕大多數都是基于函數指針數組。一個函數指針數組可以像下面這樣聲明：
void (*state[MAX_STATES]) ();
如果知道了函數名，就可以像下面這樣對數組進行初始化。
extern int a(),b(),c(),d();
int (*state[]) ()={a,b,c,c};
可以通過數組中的指針來調用函數：
(*state[i]) ();
所有函數必須接受同樣的參數，并返回同種類型的返回值(除非你把數組元素做成一個聯合)。函數指針是很有趣的。注意，我們可以去掉指針形式，把上面的調用寫成：
state[i] ();
甚至
(***state[i]) ();
這是一個在ANSI C中流行的不良方法：調用函數和通過指針調用函數(或任意層次的指針間接引用)可以使用同一種語法。
如果你想干得漂亮一點，可以讓狀態函數返回一個指向通用后續函數的指針，并把它轉換為適當的類型。這樣，就不需要全局變量了。如果你不想搞得太花哨，可以使用一個switch語句作為一種簡樸的狀態機，方法是賦值給控制變量并把switch語句放在循環內部。關于FSM還有最后一點需要說明：如果你的狀態函數看上去需要多個不同的參數，可以考慮使用一個參數計數器和一個字符串指針數組，就像main函數的參數一樣。我們熟悉的int argc,char *argv[]機制是非常普遍的，可以成功地應用在你所定義的函數中