若不论一个问题答案为真或为假时均能得出该答案，则称这个问题、或解决该问题时所用的算法为可判定的；若只能在答案为真时得出、但在答案为假时不能做出判断，那么称为半可判定的；若根本不能得出为真或为假的结论，那么称为不可判定的。
r ɕr r tɕhqk ɣ^ɣr thɣr qn çʑn ʑr thɣqr tsʁɣk ʁr thɣqr ɬqʑr ʁqn ɬk ɣɣ^n çɣr ʝʁk ɣ^ʑqk çʑn ʑr tsɣn ʝʁɣɣ^k tsʁɣr ɣ^ɣr thɣr qn ʁr ɬqɣr ɬɣn ɣ^ʑqk thɣr qn ʁqn r tɕhɣ^r çɣr ʑr xʑr thɣqr χɣr ʑr çqɣ^r çɣr r tsʁqr ɣɣ^n tsʑqr çʑn ʑr thɣqr tsʁɣk ʁqn çɣr ʝʁk çʑr tsʑqr çʑn ʑr thɣqr ɬqʑr ʁqn ɕr ɣɣ^n tsr ʝʁk ʑr çʑr ʑr ɣr ʝʁɣɣ^k thɣqr ɕʑr χɣr ʑr çqɣ^r çɣr r ɣ^ɣk ɕɣr ɕr ɣɣ^n çɣr ʝʁk thɣqr tsʁɣk ʁr thɣqr ɬqʑr çɣr ɬqɣn r ʑr ɣr ʝʁɣɣ^k thɣqr ɕr χɣr ʑr çqɣ^r çɣr