universal Turing machine

/ˌjuːnɪˈvɜːrsəl ˈtʊərɪŋ məˌʃiːn/ ユニバーサル・チューリング・マシーン

1. 任意のチューリングマシンをシミュレートできる理論上の計算モデル。

万能チューリングマシンは、特定の計算を行うチューリングマシンとは異なり、他の任意のチューリングマシンの記述を入力として与えられることで、そのマシンが行う計算を模倣し実行することができます。これは計算可能性理論の根幹をなす概念であり、現代のコンピュータの動作原理の基礎とも言えます。

A universal Turing machine is a theoretical device that can simulate any other Turing machine. (万能チューリングマシンは、他のどのチューリングマシンもシミュレートできる理論上の装置です。)

• A universal Turing machine: 「万能チューリングマシン」という、すべての計算可能な処理を実行できる仮想的な機械の概念を指します。
• is: 「～である」という存在や状態を表す動詞です。
• a theoretical device: 「理論上の装置」を意味し、物理的に存在するものではないことを示します。
• that: 先行する「a theoretical device」がどのようなものかを説明する関係代名詞です。
• can simulate: 「シミュレートできる」という能力や可能性を示します。
• any other Turing machine: 「他のいかなるチューリングマシンも」という意味で、その対象の汎用性を示します。

The concept of a universal Turing machine is central to computer science. (万能チューリングマシンの概念は、コンピューター科学の中心です。)

• The concept: 「概念」という意味です。
• of a universal Turing machine: 「万能チューリングマシンの」という意味で、先行する「concept」が何の概念であるかを修飾します。
• is central: 「中心である」という状態を表します。
• to computer science: 「コンピューター科学にとって」という意味で、その概念が重要である分野を示します。

Alan Turing introduced the idea of the universal Turing machine in 1936. (アラン・チューリングは1936年に万能チューリングマシンのアイデアを導入しました。)

• Alan Turing: アラン・チューリングというイギリスの数学者で、コンピュータ科学の先駆者として知られる人物の名前です。
• introduced: 「導入した」「発表した」という過去の行為を表す動詞です。
• the idea: 「アイデア」または「着想」を意味します。
• of the universal Turing machine: 「万能チューリングマシンの」という意味で、先行する「idea」の内容を具体的に示します。
• in 1936: 「1936年に」という具体的な年を示します。

Any algorithm can be executed by a universal Turing machine. (任意のアルゴリズムは万能チューリングマシンによって実行可能です。)

• Any algorithm: 「任意のアルゴリズム」という意味で、どのような種類のアルゴリズムも含まれることを示します。
• can be executed: 「実行されうる」「実行可能である」という可能性や能力の受動態を表します。
• by a universal Turing machine: 「万能チューリングマシンによって」という意味で、行為の主体が万能チューリングマシンであることを示します。

関連

• Turing machine
• Computability theory
• Algorithm
• Halting problem
• Church-Turing thesis
• Computational universality