• 状態に番号を割り当てる
• 遷移テーブルを作る
  • 手作業でやる
  • ツールを利用