タグundecidability - これはページ8です - GeneraCodice

米の定理をどのように適用できますか？

https://www.generacodice.com/jp/articolo/2448280/米の定理をどのように適用できますか
  undecidability  -  rice-theorem
cs.stackexchange cs.stackexchange

空の言語はすべての言語のサブセットですか？

https://www.generacodice.com/jp/articolo/2446142/空の言語はすべての言語のサブセットですか
  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

反転下で閉じられるCFG言語のクラスが未定であることを証明する

https://www.generacodice.com/jp/articolo/2446077/反転下で閉じられるcfg言語のクラスが未定であることを証明する
  automata  -  formal-languages  -  undecidability  -  context-free
cs.stackexchange cs.stackexchange

サブセット和の特別なケース

https://www.generacodice.com/jp/articolo/2445185/サブセット和の特別なケース
  complexity-theory  -  algorithms  -  undecidability  -  decision-problem
cs.stackexchange cs.stackexchange

与えられたチューリングマシンが、入力ε上で、所与のチューリングマシンが481個のセルを481個以上のセルを離れて移動するかどうかを決定できますか？

https://www.generacodice.com/jp/articolo/2444820/与えられたチューリングマシンが-入力ε上で-所与のチューリングマシンが481個のセルを481個以上のセルを離れて移動するかどうかを決定できますか
  turing-machines  -  automata  -  undecidability
cs.stackexchange cs.stackexchange

文字列を生成できるCプログラムの長さが指定可能な数値未満であるかどうかを確認していますか？

https://www.generacodice.com/jp/articolo/2443763/文字列を生成できるcプログラムの長さが指定可能な数値未満であるかどうかを確認していますか
  computability  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

2つのプログラムが同じ意味を決定できるかどうかを判断するという問題ですか？

https://www.generacodice.com/jp/articolo/2442581/2つのプログラムが同じ意味を決定できるかどうかを判断するという問題ですか
  semantics  -  undecidability  -  decision-problem
cs.stackexchange cs.stackexchange

TM decidable or undecidable problem

https://www.generacodice.com/jp/articolo/2442421/tm-decidable-or-undecidable-problem
  turing-machines  -  undecidability  -  decision-problem
cs.stackexchange cs.stackexchange

$ L={\ langle m \ rangle：m $を$ \ epsilon \} $を受け入れることができないのはなぜですか？

https://www.generacodice.com/jp/articolo/2441982/-l-langle-m-rangle-m-を-epsilon-を受け入れることができないのはなぜですか
  turing-machines  -  computability  -  undecidability
cs.stackexchange cs.stackexchange

Is it possible that the subtraction between two undecidable languages is regular?

https://www.generacodice.com/jp/articolo/1810854/is-it-possible-that-the-subtraction-between-two-undecidable-languages-is-regular
  turing-machines  -  undecidability  -  regular-languages  -  semi-decidability
cs.stackexchange cs.stackexchange
結果が見つかりました: 685
scroll top