タグ付けされた質問 「turing-machines」

アランチューリングの誕生日を祝って、Google は機械を示すDoodleを公開しました。Doodleはどのようなマシンですか？チューリング完全言語を表現できますか？ 古典的なチューリングマシンには明らかな違いがあります：有限のテープ、状態を接続する方法の制約、... Doodleはまだここにあります （右上のディスプレイは予想される出力を示しています。） 真ん中のテープは、ブランク、ゼロ、または1を保持できる正方形に分割されています。ヘッドは正方形の1つの上に配置され、読み取りと書き込みに使用されます。 テープの下に緑色の矢印が表示され、クリックしてマシンを起動できます。その隣に2本の円の線があり、そのうちのいくつかは接続されています。それらを「状態」と呼びます。 マシンが起動すると、緑色のボタンの右側にある最初の状態が点灯し、次に右側に次の状態が続きます。各状態には、次のいずれかのコマンドが含まれています。 空白=何もしない（次の状態に移動するだけ） 1 =ヘッドの現在位置でテープに1を書き込む 0 =ヘッドの現在位置でテープにゼロを書き込む 左矢印=頭を左に1ステップ移動 右向き矢印=頭を1つ右に移動 条件：頭の下の値が四角に示されている値と等しい場合、2行目の状態に進みます。そうでない場合は、右の次の状態に移動します 左ジャンプ：（固定された）前の状態に戻りますが、上の行のみ[元々その状態を忘れていました。@ Marzioに感謝します！] 2つのジャンプを「重ね合わせる」方法はありません。マシンが状態を去ると停止し、その右側に次の状態はありません。 （マシンが停止した後、テープの内容はディスプレイの内容と比較されますが、それがマシンの意図された機能の一部であるとは考えていません。）

10 cc.complexity-theory  turing-machines 

私は非常に興味深く、未解決の質問である「シングルテープチューリングマシンのアルファベット」（Emanuele Violaによる）で遊んでいて、次の言語を思いつきました。 L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n \text{ s.t. } |x| = n = 2^m \text{ and } count1(x) = k * m; \; n,m,k \geq 1 \} ここでは、文字列xの1の数です。count1(x)count1(x)count1(x)111 たとえば、x = 01101111の場合、n = 8、m = 3、k = 2、これx∈Lx∈Lx \in L L単一テープと3つのシンボルアルファベットとチューリングマシンによって認識することができるでO …

10 cc.complexity-theory  turing-machines  time-complexity 

ほとんどの文献は、特定の問題について単一のオラクルを備えたマシンに関係しているようですが、複数のオラクルを備えたマシンを検討するいくつかの論文があるようです。そのような機械について知られているものの概要を提供する良い論文や論文はありますか？特に、複数のオラクルを持つPに興味があります。

10 oracles  turing-machines 

私は分散システムに焦点を当てた修士課程の学生ですが、理論的なコンピュータサイエンスにも興味があります。チューリングマシンの上に分散システムの正式な表現があるかどうか疑問に思っていましたか？つまり、チューリングマシンの概念を拡張（変形）して、分散コンピューティングを利用することは可能ですか？ 1つのアイデアは、TM間で共有テープ（タプルスペースに似たもの）を作成することです。

10 turing-machines  dc.distributed-comp 

私はしばらくの間、テープが1つで状態がちょうど3つ（つまり、開始状態、受け入れ状態q a c c e p t、および拒否状態q r e j e c t）のチューリングマシンに興味を持っていました。任意の（有限の）テープアルファベットを許可していることに注意してください（つまり、テープアルファベットは入力アルファベットと同じに制限されていません）。q0q0q_0qa c c e p tqacceptq_{accept}qR E J E C Tqrejectq_{reject} 便宜上、そのようなTM 認識できる言語のクラスを呼び出します。このクラスについていくつか質問があります。C３C3C_3 た以前に研究されていますか？C３C3C_3 は、他の関心のある複雑さ/計算能力のクラスと同等であることがわかっていますか？C３C3C_3 クラスはモデルの変更に対して堅牢ですか。たとえば、使用されるTMが（常に左または右に移動するのではなく）1回のトランジション中に所定の位置にとどまることが許可されている場合、またはテープが右だけではなく両方向に無限になっている場合、クラスはステート1テープTMで認識できる言語の変更C３C3C_3 は通常言語のクラスであるR e g u l a rとどのように関連していますか？（特に、すべての通常の言語はC 3ですか？）C３C3C_3R E GU L RRegularRegularC３C3C_3 （むしろぞんざい）検索が育っのみこのcs.stackexchangeポスト関連しているが、私の質問と答えていません。この論文には、正確にクラスに関することを私が確認するために十分な詳細に読んでいない、よりもむしろを類似しているが異なるクラス（この論文では、（1）C 3のすべての言語が決定可能であること、および（2）C 3およびR e g u l a rC３C3C_3C３C3C_3C３C3C_3R E …

9 automata-theory  turing-machines  cellular-automata 

制限付き訪問の非決定的線形制限付きオートマトンは通常の言語のみを認識しますか？ 非決定的線形境界オートマトン（nLBA）とは、入力が両端にエンドマーカーで「パディング」されて上書きできないシングルテープ非決定的チューリングマシンを意味します。エンドマーカーの「外側」。 LBAは、すべての入力でのすべての実行が終了し、テープのすべてのセルに最大で回アクセスするようなの数がある場合、制限付きアクセスです。kkkkkk そのようなマシンは通常の言語だけを認識しますか？ヘニーの結果は、私がそれを正しく読んでいれば、決定論的なマシンに対してのみこれを言っているようです。結果は非決定的なマシンにも当てはまりますか？はいの場合、リファレンスをいただければ幸いです。

9 automata-theory  turing-machines  regular-language  space-bounded 

私は素朴な質問があります：終了は真であるが、自然で一貫した有限公理化可能な理論では証明できないチューリング機械はありますか？具体例ではなく、単なる存在証明をお願いします。 これは序数分析と関係があるかもしれません。実際、チューリングマシン場合、は、その終了（またはこれらの序数の極小値）を証明する一貫した理論の最小序数として定義できます。したがって、ようなが存在するかどうかを尋ねることは同等だと思いますか？MMMM O （M ）≥ ω C K 1O （M）O(M)O(M)MMMO （M）≥ ωCK1O(M)≥ω1CKO(M) \geq \omega_1^{CK}

9 turing-machines  proof-theory  halting-problem 

代数の枠組みの中で状態に基づく計算のダイナミクスを表現する方法についての調査を書いてみたいです。これまでのところ、DFA、NFA、ミーリーマシン、ムーアマシン、文脈自由文法、さらには単純な量子システムの代数表現に関する論文を見つけることができました。チューリングマシンを代数として表すための適切な情報源は見つかりませんでした。 どんな情報源/考え？ ありがとう！

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

チューリング完全であることが知られているGOゲームの一般化はありますか？ いいえの場合、チューリング完全であることを証明するために使用できる合理的な（一般化）ルールについていくつかの提案がありますか？明らかなのは、ゲームは無限のボード（正の象限）でプレイする必要があることです。しかし、ゲーム内プレイとゲーム終了条件についてはどうですか？

8 computability  turing-machines