The research paper lists several corecursively enumerable languages that resist conventional decision procedures.
その研究論文は、従来の決定手続きでは決定できないいくつかの補再帰的に列挙可能な言語を挙げている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
