検索結果- 英語 - 英語

検索内容:

Turing).

Turing complete

形容詞

比較不可

(computing theory) Equivalent in power to a universal Turing machine; equivalently, functionally complete.

日本語の意味

計算理論において、任意のチューリングマシンと同等の計算能力を持つ状態、すなわち何らかの計算手続きを実現できることを指す。 / 同様に、機能的（関数的）に完全であること、つまり全ての計算処理を網羅できる性質を意味する。

このボタンはなに？

Although the new scripting language is Turing complete, it imposes practical limits on memory and execution time.

Google翻訳 / DeepL翻訳

新しいスクリプト言語はチューリング完全であるが、メモリや実行時間に実用的な制約がある。

詳細

Turing-complete

形容詞

別表記異形比較不可

Alternative spelling of Turing complete.

日本語の意味

『Turing-complete』は『Turing complete』の別表記であり、計算モデルがチューリングマシンと同等の計算能力、すなわち任意の計算可能問題を解く能力を持つことを意味する。

このボタンはなに？

Many scripting languages are Turing-complete, which means they can simulate any algorithm given enough memory.

Google翻訳 / DeepL翻訳

多くのスクリプト言語はチューリング完全であり、十分なメモリがあれば任意のアルゴリズムをシミュレートできるという意味です。

詳細

Turing switches

名詞

活用形複数形

plural of Turing switch

日本語の意味

「Turing switches」は「Turing switch」の複数形を表します。つまり、複数のTuring switchを指す用法です。

このボタンはなに？

The engineers installed several Turing switches to manage the routing logic in the experimental server.

Google翻訳 / DeepL翻訳

技術者たちは実験用サーバーのルーティング論理を管理するために、いくつかのチューリング型スイッチを設置した。

詳細

Turing switch

名詞

日本語の意味

理論計算機科学において、チューリングマシンがコンピューターの動作をモデル化するように、ネットワークスイッチの動作を形式的にモデル化する論理構造

このボタンはなに？

The researchers formalized the packet routing algorithm using a Turing switch to analyze its theoretical limits.

Google翻訳 / DeepL翻訳

研究者たちは、パケットルーティングアルゴリズムを、ネットワークスイッチの動作をモデル化する論理構成（チューリング機械がコンピュータをモデル化するのと同様）を用いて定式化し、その理論的限界を解析した。

詳細

Turing reduction

名詞

(computing theory) A reduction that solves a problem if the solution to another problem is already known, i.e. an algorithm that could be used to solve A if it had available to it a subroutine for solving B.

日本語の意味

チューリング帰着：計算理論における概念で、ある問題Aの解決のために、既に解かれている問題Bの解法（部分アルゴリズム）を利用することで、問題Aを解く手法。

このボタンはなに？

To prove A is decidable, the paper constructs a Turing reduction from A to B that queries an oracle for B and uses its answers to decide instances of A.

Google翻訳 / DeepL翻訳

Aが決定可能であることを示すために、論文はAからBへのチューリング還元を構成し、Bを解くサブルーチン（オラクル）に問い合わせてその応答を用いてAのインスタンスを判定した。

詳細