圖靈可歸約性，是計算機語言B的一個諭示，是一個能夠報告某個串W是否為B的成員的外部裝置。
語言B的一個諭示是一個能夠報告某個串W是否為B的成員的外部裝置。一個諭示圖靈機是一個修改過的圖靈機，它有詢問一個諭示的額外能力。
語言A圖靈可歸約到語言B，如果A相對於B是可判定的A <=T B
，1976年圖靈獎獲得者）從希伯萊大學來到IBM公司的沃森研究中心作客座...，1982年圖靈獎獲得者)、布盧姆(M．Blum，1995年圖靈獎獲得者...了他的那篇著名的論文：“組合問題中的可歸約性”(Reducibility...
