determinize

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

Japanese Meaning

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

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

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

Sense（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 ）