determinize

動詞

(computer science) To remove non-determinism in an automaton; to convert a non-deterministic automaton to a deterministic one.

日本語の意味

（計算機科学）オートマトンの非決定性を取り除き、非決定性オートマトンを決定性オートマトンに変換すること

Before running the model-checking algorithm, we must determinize the nondeterministic automaton.

モデル検査アルゴリズムを実行する前に、非決定性オートマトンを決定化する必要がある。

意味（1）

(computer science) To remove non-determinism in an automaton; to convert a non-deterministic automaton to a deterministic one.

determinizes

（ present singular third-person ）

determinizing

（ participle present ）

determinized

（ participle past ）

determinized

（ past ）