s-m-n定理

s-m-n定理（s-m-n theorem）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

• 中文名：s-m-n定理
• 外文名：s-m-n theorem
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

定理如下：給定一個m+n元可計算函式f(;)，存在一個m元可計算函式s使對一切;；f(;)=()，這裡e是編碼為的圖靈機計算的函式。定理說明多元可計算函式的一部分輸入可以作為參數構造新的圖靈機，且新圖靈機的編碼有可能求出。

出處

《計算機科學技術名詞 》第三版