「Nondeterministic」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

That is, there are some nondeterministic pushdown automata for which no equivalent deterministic pushdown automaton exists. 例文帳に追加

すなわち、それと等価な決定性プッシュダウンオートマトンが存在しない非決定性プッシュダウンオートマトンがあるということである。 - コンピューター用語辞典

The nondeterministic program evaluator supports the illusion that time branches, and that our programs have different possible execution histories. 例文帳に追加

この非決定性プログラム・エヴァリュエータは、時間が分岐し、またプログラムが異なる可能な実行履歴を持つという幻想を支持している。 - コンピューター用語辞典

We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations. 例文帳に追加

我々は,更新プログラムの交互不動点意味論を記述し,それがすべての非決定的データベース変換を表現することができることを示す． - コンピューター用語辞典

To provide an NFA (Nondeterministic Finite Automaton) circuit for retrieving character strings in a packet at high speed with low power consumption, even if the length of a search pattern or the number of search rules increases.例文帳に追加

検索パターン長・検索ルール数が増加しても、高速かつ低消費電力にてパケット中の文字列を検索可能なＮＦＡ回路を実現する。 - 特許庁

One way to implement a nondeterministic algorithm is using backtracking, another is to explore (all) possible solutions in parallel. 例文帳に追加

非決定性算法を実行する1つの方法は,バックトラッキングを使うことであり,もう1つは,(すべての)可能性のある解を並行して詳しく調べることである． - コンピューター用語辞典

To provide a mechanism that enables a nondeterministic client-server application to be run as a replicated state machine without requiring the application to be modified.例文帳に追加

非決定的なクライアント／サーバアプリケーションを、そのアプリケーションを変更することを必要とせずに、複製状態マシンとして実行させることを可能にする機構を提供する。 - 特許庁

The file exchange using the routers having the channel generation function and nondeterministic choice function can prevent wrong file exchange.例文帳に追加

これにより、チャネル生成機能と非決定的選択機能を持つルータを使ってファイルを交換できるようになることで、誤ったファイル交換が行われないことを実現できるようになる。 - 特許庁

To provide a key generation program to indicate safety for a problem based thereon (namely, NP (Nondeterministic Polynominal Time) completeness) and be capable of configuring a public key encryption system with a certification of safety.例文帳に追加

基づく問題が安全であることが示され（つまりＮＰ完全であることが示され）、かつ、安全性の証明がつく公開鍵暗号系を構成できるように思われる鍵生成プログラムを提供することとする。 - 特許庁

Partial transition to be determined is selected from transition included in a nondeterministic model every time processing related with determination is repeated, and the name of a determined state configured of the combination of states generated in determining the selected partial transition is changed to single different name every time the processing is repeated.例文帳に追加

非決定性モデルに含まれた遷移から、決定化対象とする一部の遷移を決定化に係る処理の繰り返し毎に選択し、この選択した一部の遷移についての決定化時に生成された状態の組み合わせからなる決定化済み状態の名称を、処理の繰り返し毎に互いに異なる単一の名称に変更する。 - 特許庁