変換された決定性状態遷移機械
(もとの非決定性状態遷移機械)
