ライスの定理は、チューリングマシンの唯一のセマンティックプロパティ（つまり、マシンによって計算される関数のプロパティ）が2つの自明なプロパティ（つまり、常にtrueと常にfalse）であることを示しています。
しかし、決定できないチューリングマシンの他のプロパティがあります。たとえば、特定のチューリングマシンに到達不能な状態があるというプロパティは決定不能です†。
同様の特性の決定可能性を分類するライスの定理に類似した定理はありますか？正確な定義がありません。私が挙げた例をカバーする既知の定理は、私にとって興味深いものです。
KleeneのRecursion / Fixed Point定理を使用して、このセットが決定不能であることを証明するのは簡単です。
停止の問題は、基本的に停止状態に到達できるかどうかの問題であるため、どの状態に到達できるかという一般的な問題は、確実に解決できなくなります。
—
カールムマート
@Carl、はい、私はそれを知っていますが、それは私の例とは異なります。私の例は次のとおりです。<M>が与えられた場合、到達不能な状態があります（削除しても、入力に影響はありません）。フォーマルメソッドの質問に似ています：不要なコード行はありますか？（通常、プログラムが期待どおりに機能していないことを意味します）。
—
カベ
@Kaveh：一般に、停止の問題はです。入力を完全に無視するマシンの停止の問題に相当し、その特別なクラスのマシンでは、停止の問題は「停止」状態が到達可能かどうかの問題です。センス。
—
カール・ムンメルト
@Carl、はい、私は直接削減を知っています（他のすべての状態が到達可能であることを確認する必要があります）。しかし、私の質問は問題自体に関するものではなく、決定不可能な非セマンティック言語の簡単な例でした。だから、意味論的でない性質をカバーするライスの定理に似たものがあるかどうか知っていますか？または、そのような定理が存在する可能性は低いと思いますか？
—
カヴェー