如果没理解错误
决定性问题 = 判定问题
查英文是一样的
下面有三个出处的诠释
它们真的是指相同的事情嘛？
thank
1.维基：
在可计算性理论与计算复杂性理论中，所谓的决定性问题(Decision problem)是一个在某
些形式系统回答是或否的问题。例如：“给两个数字x与y，x是否可以整除y？”便是决定
性问题，此问题可回答是或否，且依据其x与y的值。
2.某书：(忘了哪本抄录下来的)
p193 “判定问题”就是想找出一个严谨的逐步程序，借由演绎逻辑的形式言自动做出证
明
3.好像是网络看到的：
不可判定问题是更加困难的
例如停机问题
它们无法在任何给定时间内解决