1
空の問題を決定できない最も単純な計算モデルは何ですか？
空の問題を決定できない最も単純な計算モデルは何ですか？ 計算モデル（たとえば、有限状態オートマトン、交互プッシュダウンオートマトン、カウンター付き限定誤差量子オートマトン、決定論的LBAなど）の空の問題は、そのようなマシンについて、このマシンが認識/定義する言語かどうかを判断することです。空です。ここで、マシンの説明は有限でなければなりません！ 「最も単純」という言葉は少し曖昧であることを知っています。比類のない計算モデルには、複数の答えがあります。 特別な発言として、単項アルファベットとバイナリアルファベットに別々に焦点を当てることで、質問がより興味深いものになると思います。 多くの計算モデルがあることを注意れる停止問題は決定可能であるが、空虚の問題（および他のいくつかの問題は）（あり）決定不能であり、例えば線形有界オートマトン（LBAの）。