##### 判定问题 - 判定问题 - **判定问题**是指对于一个问题实例, 仅有两个可能的答案是或否. 停机问题是不可判定问题一个代表, 判断一个程序在给定输入下是否会终止