• 階層型状態遷移機械
  • 複数の状態をひとつの状態にまとめられる
• 普通の状態遷移機械に変換可能