問題タブ [decidable]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

90 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
2 に答える
169 参照

decidable - リーンは、ステートメントが決定可能であることを確認できないと不平を言っています

次の数量パーツを定義しようとしています:

しかし、エラーが発生します

Hdecp のおかげで (pi p) が実際に決定可能であることをリーンに認識させるにはどうすればよいでしょうか?

0 投票する
1 に答える
129 参照

turing-machines - ディサイダー H をサブルーチンとして使用しているときに、ディサイダー D が逆の動作をするのはなぜですか?

ここに画像の説明を入力

示されている段落に合わせて、ディサイダー D は H をサブルーチンとしてどのように使用し、どのように反対の動作をしていますか?

誰かがこれを明確にすると非常に便利ですか？

0 投票する
1 に答える
1222 参照

mapreduce - 決定者に決定させる {|M は TM であり、|L(M)|=n}、ディサイダーが n-1 を決定するビルド

これは可能ですか？{|M は TM であり |L(M)|=n} と決定するディサイダーがあるとします {|M は TM であり |L(M)|=n-1} と決定するディサイダーを構築したい 可能であれば、どうやって？


12345678910