>>489
状態遷移表を書けばいいんじゃないの?