turing-machines

0熱

1答えて

共チューリングが認識できるものは、どのように2つの言語の補完がCo-Turingの概念を使用して決定可能であることを証明するのですか？

L1とL2を2つの言語とし、L1とL2の両方に属する文字列wが存在しないようにします。私はL1とL2が共チューリング可能であるならば、L1⊆AとL2⊆A`のような決定可能な言語Aが存在することを証明する方法には苦労しています。 A` -

0熱

1答えて

ラムダトランジションがチューリングマシンにないのはなぜですか？

ラムダ遷移はチューリングマシンで定義されていませんか？その理由は何ですか？誰かが私を説明してください。ありがとうございます。

1熱

1答えて

{<M> | MはTMであり、| L（M）| = n}を決定する決定者が決定したら、決定者はn-1を決定する

これは可能ですか？ {| MがTMであり、| L（M）| = n}が決定されたとすると、{MはTMであり、| L（M）| = n-1} 可能であれば、どうですか？

1熱

1答えて

チューリングマシンで単項式を使用できますか？

数値が単項（0 = 1,1 = 11,2 = 111,3 = 1111、...）であれば、そのあとに空白の記号を1つ置き、同じ番号（0 = 1 = 1,2 = 10,3 = 11,4 = 100、...）。番号を逆の順序で書き込むことは可能です（必須ではありません）。終了すると、TMは受け入れ状態に切り替える必要があります。入力を検証する必要はなく、入力が1つの単項数の100％であり、テープに何も

0熱

1答えて

チューリング機械設計0と1

f1（1^n01^m）= 1^| m-n | 途中で0を追跡する方法を関数（遷移図）を計算チューリングマシンを設計しますか？私はそれをしようとしましたが、それを理解することができません

-1熱

1答えて

アルファベット順にTuring認識可能な言語を列挙する

Turing認識可能な言語も列挙できます。しかし、列挙子がTuring認識可能な言語を辞書順に「印刷」することは可能ですか？

0熱

1答えて

チューリングマシンの設定

私はチューリングマシンにはかなり新しく、質問に困惑しています。 Q = {q、r、s、t}、Σ= {abc}、Γ= {B、a、b、q}となるようなチューリングマシンが与えられます。M =（Q、Σ、Γ、 c]、[t、a、r、b、R]、[q、b、r、a、R]、q、c、t、c、R] 入力abbaでMが停止するかどうかを確認するメッセージが表示されます。 Mが停止する構成を書いてください。答えはbrbba

2熱

1答えて

Turing認識可能な言語は決定可能かどうか？

文字列を非短縮長で列挙することが可能な場合、チューリングで認識可能な言語を決定可能にすることはできますか？私はそれが無限に行くことができないと思うし、これで決めることができないでしょうか？

1熱

1答えて

C言語のチューリングマシン実装の入力を理解できません

このコードはオンラインで見つかったばかりで、入力をどのようにフォーマットするべきか分かりません。同じプログラマーからの同様の入力の例を以下に示します：Pushdown automaton implemented in C しかしそれでもそれほど助けにはなりません。 E01：入力形式は以下のようである：E0の$：000111：：広告：aeebの$：b0eb0：b10ce：c10ce：入力デCE $

0熱

1答えて

複数の入力をスキャンして1回実行する

チューリングマシンの基本機能をコーディングしようとしています。以下に示すようにはこれまでのところ、プログラムがリストにユーザーの入力と保存、それを取る： public String cmdLoop() { Scanner getReq = new Scanner(System.in); for(; ;) { say("current read/w