turing-machines

6熱

1答えて

DFAの図があるので、どのようにしてTuring Machineに変換できますか？ DFAが受け入れる言語を見つけてチューリングマシンを作成する必要がありますか？または直接の方法はありますか？ありがとうございます。

3熱

1答えて

私はこれが決定可能かどうかと苦労しています： A = {xは自然数の集合の要素です| xより大きいすべてのyについて、2yは2つの素数の和です。チューリングマシンに入力すると、決して受け入れられない状態になり、ループすることはないと考えられますそれが拒否されない限り、無限大。しかし、私は、決定可能な言語については、それを決定するアルゴリズムしか存在してはならないことも知っています。必ずしもそれが

1熱

3答えて

AWKでグラフィックスプログラミングを行うことは可能ですか？

これはチューリングが完了することが何を意味するのかという疑問です。 Awkはプログラミング言語であり、あなたはそれらを使って何かをすることができると聞いてきましたが、物理的な制約もありません。おそらく、あなたはおそらく、minecraft red-stoneコンピュータでファイルを削除することはできません。同様に、私はあなたがAWKでグラフィックを行うことができないと思います。 AWKがグラフィッ

8熱

1答えて

チューリングマシンが受け入れることができない既知の言語は何ですか？

exampleの場合、独自のエンコーディングを受け入れないチューリングマシンの言語は、チューリングマシンによって受け入れられません。

0熱

2答えて

入力文字列はどのように磁気テープに表示されますか？

チューリングマシンでは、入力と出力の両方に、またスタックに（異なる）テープが使用されています。チューリングマシンを使用して2つの数字を追加する問題では、入力は1,0、B（空白）、+などの多くの記号を扱っています。（私は、彼らがチューリングマシンとその入力について知っmayn't考え以来タフこの質問は物理学に関連しているが、私はここで尋ねた。）入力がBBBBB1111 + 111111BBある場合

9熱

4答えて

チューリングマシンは実際のデバイスか想像上のコンセプトですか？

チューリングマシンとPDAについて勉強しているとき、私は最初のコンピューティングデバイスがチューリングマシンであると考えていました。したがって、チューリングマシンと呼ばれる実用的なマシンが存在し、その状態は特殊なデバイス（フリップフロップなど）で表現でき、磁気テープの入力を受け入れることができると考えました。したがって私は疑問をHow input string is represented i

2熱

3答えて

チューリングマシンの実装をC

教授は公式言語理論で私のコースのチューリングマシンを勉強していますが、教授は "TM"の背後にある論理を詳細に見るために次のように実行することを推奨しましたが、コンパイルしようとすると、次のエラーが表示されます。ここ C:\Documents and Settings\Melkhiah.EQUIPO01\Mis documentos\Downloads\Tarea3 Discretas\TM.c|

0熱

1答えて

1つのテープから別のテープに文字列をコピーする方法（2つのテープチューリングマシン）？

私は2つのテープチューリングマシンを使ってw＃wを決めなければなりません。私はあなたが最後の部分をコピーする必要があることを知っています。＃の後ろの部分は2番目のテープにコピーしてから、文字を2つの部分が同じかどうかを比較する必要があります。私の問題は、＃の後にその部分を2番目のテープにコピーする方法です。アイデア？（| B）= W^*

-2熱

4答えて

再帰的に列挙可能な集合とチューリングマシン

L1を再帰的言語とします。 L2とL3を再帰的に列挙できるが再帰的ではない言語とする。次の文のうち必ずしも真実ではないものはどれですか？（A）L2 - L1は再帰的に列挙できる。（B）L1 - L3は再帰的に列挙可能（C）L2∩L1は再帰的に列挙可能（D）L2∪L1は再帰的に列挙可能

2熱

1答えて

AtmからA（自分が選択したもの）、AからAtmへの削減

多くのものの削減は、対称ではありません。私はそれを証明しようとしていますが、うまく動作しません。考えると二つの言語AとBは、AがA_TMが決定不能が、チューリング認識可能である A={w| |w| is even} , i.e. `w` has an even length とB=A_TM、と定義されます！以下の削減を考える：私は、< = Bからの削減を見ることができるように f(w) =