日本の
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
完全な記事
カテゴリ
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
あなたが書く
ユーザー
ログイン
登録
パスワードの復元
タグ
言語タグ
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
タグundecidability - これはページ6です - GeneraCodice
計算履歴と$ SIGMA ^ * $を生成する際の通常の文法とCFGの違い
https://www.generacodice.com/jp/articolo/2459293/計算履歴と-sigma-を生成する際の通常の文法とcfgの違い
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
Is it decidable for a NPDA to halt?
https://www.generacodice.com/jp/articolo/2458993/is-it-decidable-for-a-npda-to-halt
turing-machines
-
undecidability
-
pushdown-automata
cs.stackexchange
固定チューリングマシンと固定入力の問題の停止
https://www.generacodice.com/jp/articolo/2457906/固定チューリングマシンと固定入力の問題の停止
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
この決定的なセット$ C $が存在することを示します
https://www.generacodice.com/jp/articolo/2454714/この決定的なセット-c-が存在することを示します
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/jp/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
再帰レチオームが不可能な有限セットがあることを証明しないのはなぜですか?
https://www.generacodice.com/jp/articolo/2453658/再帰レチオームが不可能な有限セットがあることを証明しないのはなぜですか
turing-machines
-
computability
-
undecidability
cs.stackexchange
これは正しいです:タイプ3の文法が$ \ sigma ^ * $を生成するかどうかはc.eではありません。
https://www.generacodice.com/jp/articolo/2453394/これは正しいです-タイプ3の文法が-sigma-を生成するかどうかはc-eではありません
formal-languages
-
undecidability
-
regular-languages
cs.stackexchange
Union of halting-like problem and non-halting-like problem
https://www.generacodice.com/jp/articolo/2448797/union-of-halting-like-problem-and-non-halting-like-problem
halting-problem
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
米の定理をどのように適用できますか?
https://www.generacodice.com/jp/articolo/2448280/米の定理をどのように適用できますか
undecidability
-
rice-theorem
cs.stackexchange
空の言語はすべての言語のサブセットですか?
https://www.generacodice.com/jp/articolo/2446142/空の言語はすべての言語のサブセットですか
halting-problem
-
undecidability
cs.stackexchange
«
3
4
5
6
7
8
»
結果が見つかりました: 685