ある処理系がチューリング完全「でない」ことを示すにはどうすればいいんだろう。 「ある」ことの証明であればチューリングマシン実装して終わりだが。 http://d.hatena.ne.jp/gnarl/20080222/1203683751 そうか!少なくともチューリング完全で「ある」こと…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。