莱斯定理 2020-12-13 23:01 标签莱斯定理计算理论形式语言与自动机 类别笔记 学习形式语言自动机这课时花了很久才理解莱斯定理（Rice's Theorem）。懂了以后发现，其实就是之前对着书瞎想的时候，没先把全局要做的事情理清楚，这个定理其实并不复杂。这篇带了一些偷懒（省略）的文章是我对莱斯定理的笔记。 继续阅读……
