日本の
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 - これはページ161です - GeneraCodice
通常言語で考えられる単語の長さのセットは何ですか?
https://www.generacodice.com/jp/articolo/1091307/通常言語で考えられる単語の長さのセットは何ですか
computability
-
finite-automata
-
formal-languages
-
regular-languages
cs.stackexchange
「自然な」決定不可能な言語はありますか?
https://www.generacodice.com/jp/articolo/1091335/自然な-決定不可能な言語はありますか
computability
-
automata
-
formal-languages
-
undecidability
cs.stackexchange
合計関数が列挙できないのはなぜですか?
https://www.generacodice.com/jp/articolo/1091523/合計関数が列挙できないのはなぜですか
enumeration
-
computability
-
semi-decidability
cs.stackexchange
接頭辞言語の決定可能性
https://www.generacodice.com/jp/articolo/1091556/接頭辞言語の決定可能性
computability
-
undecidability
cs.stackexchange
$\pi$ に何らかの数字のシーケンスがあるかどうかは、どうやって判断できるのでしょうか?
https://www.generacodice.com/jp/articolo/1091722/-pi-に何らかの数字のシーケンスがあるかどうかは-どうやって判断できるのでしょうか
computability
-
undecidability
cs.stackexchange
ゲーデルの不完全性の定理、停止問題、ユニバーサルチューリングマシンの間に具体的な関係はありますか?
https://www.generacodice.com/jp/articolo/1091824/ゲーデルの不完全性の定理-停止問題-ユニバーサルチューリングマシンの間に具体的な関係はありますか
logic
-
computability
-
halting-problem
-
incompleteness
cs.stackexchange
計算可能性理論におけるオープンな問題を簡単に述べることができます
https://www.generacodice.com/jp/articolo/1091844/計算可能性理論におけるオープンな問題を簡単に述べることができます
computability
cs.stackexchange
この書き換えシステムで文字列を導き出すことは可能ですか?
https://www.generacodice.com/jp/articolo/1091851/この書き換えシステムで文字列を導き出すことは可能ですか
computability
-
term-rewriting
cs.stackexchange
相互作用はアルゴリズムよりも強力ですか?
https://www.generacodice.com/jp/articolo/1091868/相互作用はアルゴリズムよりも強力ですか
computability
-
computation-models
cs.stackexchange
文法とオートマトンの言語の変ダ性
https://www.generacodice.com/jp/articolo/1092384/文法とオートマトンの言語の変ダ性
turing-machines
-
computability
-
formal-languages
-
regular-languages
-
context-free
cs.stackexchange
«
158
159
160
161
162
163
»
結果が見つかりました: 1630