x 是否可以整除 y？」，此问题依据其 x 与 y 的值可回答是或否。以演算法形式给出的解决决定性问题的方法称为决策程式（）。决策程式将对决定性问题「给两个数字 x 与 y，x 是否可以整除 y？」给出确定 x 是否整除 y 的步骤。一种这样的演算法是长除法，如果余数为 0，则原决定性问题的答案为是，否则则为否。若是某决定性问题可以被一些演算法所解决，则称此问题可决定（）。决定性问题与功能性问题（，或复杂型问题）密切相关，功能性问题的答案内容，较简单的是与非复杂许多。范例问题：「给予一个正整数x，则哪些