チューリングマシンのコンテキストでの停止、受け入れ、決定の違いは何ですか?


10

受け入れるとは、TMが現在読み取っているセルからcharを読み取って認識するということですか?そして、TMは入力が決定可能である場合に停止するのでしょうか?


停止は、(受け入れ/拒否状態で)終了することと同義です。言語を受け入れる(言語のメンバーシップを決定する)とは、その言語に属するすべての入力の受け入れ状態で停止することを意味します。
saadtaame 2012

これは基本的な定義の問題です。何があなたを混乱させましたか?
ラファエル

回答:


10

チューリングマシンが最終的に入る可能性がある状態の受け入れと拒否は、1つのセルからのシンボルだけでなく、テープから読み取られた文字列に基づいています。もちろん、受け入れテープまたは拒否テープの入力に関する決定は、最終的には1つのシンボルに基づいて行われます。

チューリングマシンは、最終的に受け入れ状態になるか、拒否状態になるか、永久にループすることができます。受け入れ状態または拒否状態になると、停止します。

すべての入力で停止した場合、チューリングマシンは完全であると言います。

チューリングマシンが受け入れる言語は、チューリングマシンへの入力として提供されたときに、チューリングマシンを受け入れ状態にするすべての単語のセットです。

言語は、その言語を受け入れる完全なチューリングマシンが存在する場合にのみ決定可能であると言われます。


実際には、チューリングマシンプログラムについて話している必要があります。チューリングマシン自体がモデルです。それは表現の乱用です。
saadtaame 2012
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.