あなたは言語が決定可能である証明されている場合、あなたは効果的に何をしていますか？

Question

あなたが言語を証明している場合は決定可能である、あなたが効果的に何をしているの？

Answer 1

あなたはそれがどのように行われるかを尋ねた場合、私はわからないんだけど、私は確認することができます。

は、基本的に決定可能では一つの（入力を受け付けまたは拒否を有する）任意の有限の入力を停止するアルゴリズム（すなわちチューリングマシン）を構築することができるための言語です。 決定不能が決定可能でない言語です。

http://en.wikipedia.org/wiki/Recursive_language の...しかし、もっと被写体に簡単に見つけることができます。このリンクでは用語の唯一の迅速な言及があります。

p.s。上記のアルゴリズムの上に構築するときに、あなたは基本的に言語が決定可能であることを証明されます。