determinization

名詞

The act or process of determinizing.

日本語の意味

非決定性のもの（例えばオートマトン）を決定性に変換する行為または過程 / 決定化処理

Determinization of nondeterministic finite automata is a standard technique used to simplify analysis and implementation.

非決定性有限オートマトンの決定化は、解析や実装を簡素化するために用いられる標準的な手法です。

意味（1）

The act or process of determinizing.

determinizations

（ plural ）