圖靈歸約 圖靈歸約是可计算性理论中的一種歸約若問題A可圖靈歸約成問題B是指若問題B的解答已經知道Rogers  Soare 就可以解問題A也可以解釋為若一個演算法可以用來處理問題B就可以處理問題A較正式的說法可被圖靈歸約成問題B的問題是指若存在問題B的預言機就可以求解的問題集合圖靈歸約可以用在決定性問題及功能性問題