>>913
どんな状態遷移表をどんなCのソースにしたいのか
によるんじゃない?