Proving that L is an RE required constructing a Turing machine that enumerates its members.
言語 L が再帰的に列挙可能であることを示すには、その要素を列挙するチューリングマシンを構成する必要があった。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
