determinize
plural of Corbally
plural of water bike
(US politics, humorous) The process by which candidates for the Presidency of the United States choose a running mate.
(computer science) To remove non-determinism in an automaton; to convert a non-deterministic automaton to a deterministic one.
モデル検査アルゴリズムを実行する前に、非決定性オートマトンを決定化する必要がある。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★