标签：程序 nts 总结 gpo blog div ble body 不可
总结：这个章节随他而去吧
可决定问题：可以回答yes或no的问题
不可决定问题：不能回答yes或no的问题
例如：这个程序是否能停止
Entscheidungs problem：半决定问题
FOL是不可决定问题
<知识库的构建> 6-2 决定性 Decidability
原文地址：https://www.cnblogs.com/mengzizhao/p/8383401.html
