上記の[タイトル]の記述が正しいかどうか疑問に思っています.
これが私がすでに持っていたものです：非再帰は決定不能を意味します。
私はこれを読みました すべての無限言語は決定不能ですか?
それは言う：
言語が決定不能 (非再帰的) である場合、TM が停止しない原因となる文字列がいくつか存在する必要があります。
これはどのように私の声明[タイトル]を証明できますか? 誰かが私にそれをもう少し明確に説明できますか?
ありがとう
ps。混乱させて申し訳ありません。はい、TMはチューリングマシンを意味します。私の質問は次のとおりです。すべての非再帰言語は無限ですか?