跳至內容

可計算函數

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

可計算性理論中,可計算函數(computable function)或圖靈可計算函數是研究的基本物件。它們使我們直覺上的演算法概念更加精確。使用可計算函數來討論可計算性而不提及任何具體的計算模型,如圖靈機或暫存器機。但是它們的定義必須提及某種特殊的計算模型。

在可計算函數的精確定義之前,數學家經常使用非正式術語可有效計算的。這個術語因此可以被認同為可計算函數。儘管這些函數被叫做有效的,它們可能極其困難。可行可計算性計算複雜性研究可有效計算的函數。

依據邱奇-圖靈論題,可計算函數精確的是使用給出無限數量的時間和儲存空間的機器計算裝置來計算的函數。等價的說,這個論題聲稱有演算法的任何函數都是可計算的。

可以使用布盧姆公理來在可計算函數的集合上定義抽象計算複雜性理論。在計算複雜性理論中,確定一個可計算函數的複雜性的問題叫做功能性問題

定義

[編輯]

計算函數是在自然數上的有限偏函數。每個可計算函數接受固定數目個自然數作為參數;不同的函數接受不同數目的參數。因為函數是部分的,它們可以不定義在所有可能的輸入選擇上。如果定義了一個可計算函數,則它返回一個單一自然數作為輸出(這個輸出可以被解釋為使用配對函數的一列數)。記號指示偏函數被定義在參數上,而記號指示被定義在參數上而返回的值是。這些函數也叫做偏遞歸函數。在可計算理論中,函數的定義域是函數被定義在其上的所有輸入的集合。

定義在所有參數上的函數叫做全函數。如果可計算函數是全函數,它叫做全可計算函數全遞歸函數

有很多等價方式定義可計算函數的類。為了具體,本文餘下部分將假定可計算函數已經被定義可以被圖靈機計算的那些偏函數。有很多計算的等價模型定義同一類可計算函數。這些計算模型包括

等等。

可計算集合和關係

[編輯]

自然數的集合A被叫做可計算的(同義詞:遞歸的可決定的),如果有可計算函數f使得對於每個自然數n如果nA中,並且如果n不在A中。

自然數的集合被叫做計算可列舉的(同義詞:遞歸可列舉的半可判定的),如果有可計算函數f使得對於每個自然數nf(n)是有定義的,當且僅當n在這個集合中。所以一個集合是計算可列舉的,當且僅當它是某個可計算函數的定義域。使用詞可列舉的因為對於自然數的非空子集B下列是等價的:

  • B是可計算函數的定義域。
  • B是全可計算函數的值域。如果B是無限的則這個函數可以被假定為單射的

如果集合B是函數f的值域,則這個函數可以被看作B的列舉,因為列表f(0), f(1), ...將包含B的所有元素。

因為在自然數上的每個有限關係都可以被辨識為對應的自然數的有限序列的集合,可計算關係計算可列舉關係的概念可以從它們的集合類似物來定義。

形式語言

[編輯]

在電腦科學的可計算性理論中,經常考慮形式語言。它包括任意集合的一個字母表,在字母表上的是來自字母表的符號的有限序列;同一個符號可以出現多於一次。例如,二進制字串精確的是在字母表上的字。語言是在固定字母表上的所有字的搜集的子集。例如,精確的包含三個字母的所有二進制字串的搜集是在二進制字母表上的一個語言。

形式語言的一個關鍵性質是對判定一個給定字是否在這個語言中的難度級別。必須開發某種編碼系統來允許可計算函數來接受在語言中的任意字作為輸入;這通常是要認真處置的常式。一個語言被稱為是可計算的(同義詞:遞歸的可判定的),如果存在一個可計算函數使得對於在字母表上的每個字w如果這個字在這個語言中,並且如果這個字不在這個語言中。所以一個語言在有一個過程能正確的判定任意的字是否在這個語言中的情況下是可計算的。

一個語言是計算可列舉的(同義詞:遞歸可列舉的半可判定的),如果有可計算函數f使得是有定義的,當且僅當字w在這個語言中。術語可列舉同自然數的計算可列舉集合有同樣的語源。

例子

[編輯]

如果fg是可計算的,則:f + g, f * g, 如果 f是一元的,max(f,g), min(f,g)和更多的組合都是可計算的。

相關條目

[編輯]

參照

[編輯]
  • Enderton, H.B. Elements of recursion theory. Handbook of Mathematical Logic (North-Holland 1977) pp. 527–566.
  • Rogers, H. Theory of recursive functions and effective computation (McGraw-Hill 1967).
  • Turing, A. (1936), On Computable Numbers, With an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, Volume 42 (1936). Reprinted in M. Davis (ed.), The Undecidable, Raven Press, Hewlett, NY, 1965.