ction::::定义.决定性问题指的是在一个数量为无限大的输入集合中，可产出任何是或非解答的问题之集合。因此传统上定义决定性问题，乃依其解答为是的输入之集合。在此情形下，一决定性问题亦等于一形式语言。形式上，决定性问题是一自然数子集A。借由使用哥德尔数，也可学习诸如形式语言的其他集合。非正规的定义决定性问题，就是判别一个给予的数字是否在此集合内。一决定性问题若其A是一个递归集合，则称做可决定的（decidable）或有效可解（effectively solvable）。若其A是一递归可枚举集合则