总结：这个章节随他而去吧
可决定问题：可以回答yes或no的问题
不可决定问题：不能回答yes或no的问题
例如：这个程序是否能停止
Entscheidungs problem：半决定问题
FOL是不可决定问题
总结：这个章节随他而去吧
可决定问题：可以回答yes或no的问题
不可决定问题：不能回答yes或no的问题
例如：这个程序是否能停止
Entscheidungs problem：半决定问题
FOL是不可决定问题
原文：https://www.cnblogs.com/mengzizhao/p/8383401.html