私は関連する決定可能性/認識可能な問題に取り組んでおり、それを解決するには、チューリングマシンのエンコード/表現について明確にする必要があります。
チューリングマシンは正式には7タプルとして定義されていることを私は知っています。Uチューリングマシンと別のチューリングマシンを持っている場合、その一部（アルファベット、入力記号、受け入れ状態のセットなど） を認識Mするように設計するのは簡単ですか？UMM
M私の一部は、これらは有限集合であるため、それらを数えるのは簡単だと思いますが、無限にループする可能性なしに、定義の一部を列挙できるかどうか疑問に思います。