(computer science) To remove non-determinism in an automaton; to convert a non-deterministic automaton to a deterministic one.
determinize
モデル検査アルゴリズムを実行する前に、非決定性オートマトンを決定化する必要がある。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★