半可計算函式

半可計算函式(semi-computable function)亦稱部分可計算函式.一種部分數論函式.設f為一個部分數論函式，如果存在一個能行算法，使對任何自變元x的取值，只要f(x)有定義，那么f (x>之值便可依上述算法能行地求出，稱f為半可計算函式.直觀可計算函式都是半可計算的.注意到函式的半可計算性，只對使其有定義的自變元值處有能行可計算的要求，而對x是否使f(x)有定義，則沒有要求預先可以能行地判知.實際上，對有些半可計算
函式f而言，並不能能行判定在任何x處f (x)是否有定義(參見“停機問題”).