変換された決定性状態遷移機械 Generated DFA