2008-02-22から1日間の記事一覧

SQLがチューリング完全なのかどうか考えている

ところである処理系がチューリング完全「でない」ことを示すにはどうすればいいんだろう。 「ある」ことの証明であればチューリングマシン実装して終わりだが。