2023年9月20日
[反刍]停机问题
摘要： 简单介绍停机问题： 是否存在一个通用算法来判断, 特定的程序P在遇到输入I后不陷入无限循环, 总能停机? 简单分析： 似乎很容易, 有没有循环不是一眼就能看穿吗? 但如果遇到复杂的goto语句群组成的意大利面条式代码, 你还能轻而易举判断吗? 结论是不存在这样的通用算法。下面是我在反复看了多个证明后 阅读全文
posted @ 2023-09-20 11:53 lynnzixing 阅读(47) 评论(0) 推荐(0) 编辑