turing-machines

    6熱

    1答えて

    DFAをチューリングマシンに変換するにはどうすればいいですか？

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

    3熱

    1答えて

    この言語は決定可能ですか？

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

    1熱

    3答えて

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

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

    8熱

    1答えて

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

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

    0熱

    2答えて

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

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

    9熱

    4答えて

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

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

    2熱

    3答えて

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

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

    0熱

    1答えて

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

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

    -2熱

    4答えて

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

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

    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) =
    algorithm computation-theory turing-machines reduction 2012-02-28
最新の質問