変換された決定性状態遷移機械 Converted state machine