日本の
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
タグcomputability - これはページ159です - GeneraCodice
$ {⟨m⟩ 'l(m) mbox {context-free} } $が(co-)再帰的に列挙できないことの証明
https://www.generacodice.com/jp/articolo/1096284/-m-l-m-mbox-context-free-が-co-再帰的に列挙できないことの証明
turing-machines
-
computability
-
formal-languages
-
context-free
cs.stackexchange
なぜNPでこの決定不可能な問題がないのですか?
https://www.generacodice.com/jp/articolo/1096129/なぜnpでこの決定不可能な問題がないのですか
complexity-theory
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
$ l(m)= l $ここで、$ m $は$ tm $であり、右側に移動するため、$ l $は正規です
https://www.generacodice.com/jp/articolo/1095930/-l-m-l-ここで-m-は-tm-であり-右側に移動するため-l-は正規です
turing-machines
-
computability
-
formal-languages
-
computation-models
-
regular-languages
cs.stackexchange
非耕作不可能なオートマトンの想像もできない特性はありますか?
https://www.generacodice.com/jp/articolo/1095778/非耕作不可能なオートマトンの想像もできない特性はありますか
computability
-
automata
-
undecidability
cs.stackexchange
$ _ {tm} $を補完するマッピング削減
https://www.generacodice.com/jp/articolo/1095603/-tm-を補完するマッピング削減
computability
-
proof-techniques
-
reductions
cs.stackexchange
チューリングの削減は、マッピングの削減を意味します
https://www.generacodice.com/jp/articolo/1095496/チューリングの削減は-マッピングの削減を意味します
turing-machines
-
computability
-
reductions
cs.stackexchange
aがbに還元可能なマッピングの場合、aの補体はbの補体に対して還元可能です
https://www.generacodice.com/jp/articolo/1095397/aがbに還元可能なマッピングの場合-aの補体はbの補体に対して還元可能です
complexity-theory
-
computability
-
reductions
cs.stackexchange
サブ言語はチューリングが認識できませんか、それともそうでしょうか?
https://www.generacodice.com/jp/articolo/1095206/サブ言語はチューリングが認識できませんか-それともそうでしょうか
computability
cs.stackexchange
何ですか?
https://www.generacodice.com/jp/articolo/1095099/何ですか
complexity-theory
-
terminology
-
computability
cs.stackexchange
州の移行システムについて学ぶための良い参照は何ですか?
https://www.generacodice.com/jp/articolo/1095045/州の移行システムについて学ぶための良い参照は何ですか
computability
-
automata
-
computation-models
-
reference-request
cs.stackexchange
«
156
157
158
159
160
161
»
結果が見つかりました: 1630