• あらゆる非決定性状態遷移機械は
  決定性状態遷移機械に変換可能
• 変換すると状態の数は増えるのが普通