>>423
明示的な仕様であれば、"Unix System Programming with Standard ML" という書籍に
FSM(Finite State Machine, 有限状態機械)そのものを実装したコードがある
このタイトルでググればPDF文書が見つかるから、そのp.43を開けばいい

あと、関数型によるFSMの実装については過去にも議論になっているので、以下を参照
・関数型言語Part5
　http://toro.2ch.net/test/read.cgi/tech/1252470706/491-543