It turns out that proving programs correct is equivalent to solving the Halting Problem. 證明程序是正確的等價於解決停機問題。
確定! 回上一頁