亲爱的MBA智库百科用户:


过去的17年,百科频道一直以免费公益的形式为大家提供知识服务,这是我们团队的荣幸和骄傲。 然而,在目前越来越严峻的经营挑战下,单纯依靠不断增加广告位来维持网站运营支出,必然会越来越影响您的使用体验,这也与我们的初衷背道而驰。 因此,经过审慎地考虑,我们决定推出VIP会员收费制度,以便为您提供更好的服务和更优质的内容。


MBA智库百科VIP会员,您的权益将包括: 1、无广告阅读; 2、免验证复制。


当然,更重要的是长期以来您对百科频道的支持。诚邀您加入MBA智库百科VIP会员,共渡难关,共同见证彼此的成长和进步!



MBA智库百科项目组
2023年8月10日
百科VIP
未登录
无广告阅读
免验证复制
支付方式:
微信支付
支付宝
PayPal
购买数量:
1
应付金额:
10
汇率换算:
0
美元(USD)
  • 美元(USD)
  • 加元(CAD)
  • 日元(JPY)
  • 英镑(GBP)
  • 欧元(EUR)
  • 澳元(AUD)
  • 新台币(TWD)
  • 港元(HKD)
  • 新加坡(SGD)
  • 菲律宾(PHP)
  • 泰铢(THB)

按当月汇率换算,

包含手续费

打开手机微信 扫一扫继续付款
立即开通
PayPal支付后,可能会遇到VIP权益未及时开通的情况,请您耐心等待,或者联系百科微信客服:mbalib888。
温馨提示:当无法进去支付页面时,可刷新后重试或更换浏览器
开通百科会员即视为同意《MBA智库·百科会员服务规则》

支付成功

全球专业中文经管百科,由121,994位网友共同编写而成,共计436,064个条目

圖靈完備語言

用手机看条目

出自 MBA智库百科(https://wiki.mbalib.com/)

  2025 年 02 月 20 日 星期四

中文名稱
圖靈完備語言
語言特征
具有圖靈完備性
漢語拼音
Túlíng Wánbèi Yǔyán
包  括
過程式語言、面向對象語言、多範式語言、
英文名稱
Turing-complete language
深奧的語言等

目錄

[隱藏]

概述

  如果一個電腦語言具有圖靈完備性Turing Completeness),那麼這個語言就是圖靈完備語言Turing-complete language)。


背景

艾倫·圖靈

  艾倫·麥席森·圖靈Alan Mathison Turing,1912.6.23 - 1954.6.7),英國數學家、邏輯學家、密碼學家和英國首位電腦科學家,被譽為電腦科學和人工智慧之父。

  他對電腦科學的發展有著很高的影響力,他用圖靈機提供了演算法和計算概念的形式化,圖靈機可以被視為通用電腦的模型。他的圖靈測試對人工智慧的發展,作出了重要的、典型的、具挑戰性的和持久的貢獻。

圖靈機

图灵机模型
放大
圖靈機模型

  在 1928 年第八屆國際數學家大會上,德國數學家希爾伯特(David Hilbert,1862 - 1943)提出了關於數學的三個精辟問題:

  • First, was mathematics complete …(數學是完備的嗎?)
  • Second, was mathematics consistent …(數學是一致的嗎?)
  • And thirdly, was mathematics decidable ?(數學是可判定的嗎?)

  希爾伯特的第三個問題又被稱為判定性問題(Entscheidungsproblem)。為了證否這個命題,1936 年,圖靈發表了一篇論文,題為《論可計算數,及其在判定性問題上的應用》(On Computable Numbers, with an Application to the Entscheidungsproblem)。在這篇論文里,圖靈提出了一種假設的計算裝置,他稱之為 A-Machine(Automatic Machine,自動機器),這就是圖靈機Turing Machine)。

可計算函數

艾伦·麦席森·图灵
放大
艾倫·麥席森·圖靈

  1938 年,在美國普林斯頓大學攻讀博士學位的圖靈,發表了一篇博士論文,題為《基於序數的邏輯系統》(Systems of Logic Based on Ordinals)。在這篇論文里,圖靈定義了可計算函數Computable function):

  • A function is effectively calculable if its values can be found by some purely mechanical process.
  • 如果一個函數的值可以通過某種純機械的過程找到,那麼這個函數就可以有效地計算出來。

  在作為特定計算模型的圖靈機上產生的可計算函數,就被稱為圖靈可計算函數

圖靈完備性

  如果一個計算系統可以計算每一個圖靈可計算函數,那麼這個系統就是圖靈完備的;或者說,這個系統可以模擬通用圖靈機。

  圖靈完備性也可以用來描述電腦語言的計算能力。


定義

图灵完备语言
放大
圖靈完備語言

  具有圖靈完備性的電腦語言,就被稱為圖靈完備語言。絕大多數的編程語言,都是圖靈完備語言。這包括:

  • 廣泛使用的所有通用語言:
    • 過程式語言,如 FORTRAN、Pascal 等。
    • 面向對象語言,如 Java、Python 等。
    • 多範式語言,如 Ada、C++ 等。
  • 使用不太常見範式的大多數語言:
    • 函數式語言,如 Haskell、Mercury 等。
    • 邏輯式語言,如 Logtalk、Prolog 等。
    • 聲明式語言,如 SQL、XSLT 等。
    • 深奧的語言(Esoteric programming language),一種奇特的數學娛樂形式,程式員用極其困難但數學上圖靈等價的語言來實現基本的編程結構。


非圖靈完備語言

  並非所有的電腦語言都是圖靈完備的,例如標記語言,或者更恰當地稱為“容器語言”或“數據描述語言”,就不是圖靈完備的。

  非圖靈完備語言Non-Turing-complete language),包括 HTML、JSON、XML、YAML 等。

本條目對我有幫助11
MBA智库APP

扫一扫,下载MBA智库APP

分享到:
  如果您認為本條目還有待完善,需要補充新內容或修改錯誤內容,請編輯條目投訴舉報

本条目由以下用户参与贡献

M id ca0e1820b225ab1ad414f1d3c9d4b121,Llyn.

評論(共0條)

提示:評論內容為網友針對條目"圖靈完備語言"展開的討論,與本站觀點立場無關。

發表評論請文明上網,理性發言並遵守有關規定。

打开APP

以上内容根据网友推荐自动排序生成

官方社群
下载APP
告MBA智库百科用户的一封信
亲爱的MBA智库百科用户: 过去的17年,百科频道一直以免费公益的形式为大家提供知识服务,这是我们团队的荣幸和骄傲。 然而,在目前越来越严峻的经营挑战下,单纯依靠不断增加广告位来维持网站运营支出,必然会越来越影响您的使用体验,这也与我们的初衷背道而驰。 因此,经过审慎地考虑,我们决定推出VIP会员收费制度,以便为您提供更好的服务和更优质的内容。 MBA智库百科VIP会员(9.9元 / 年,点击开通),您的权益将包括: 1、无广告阅读; 2、免验证复制。 当然,更重要的是长期以来您对百科频道的支持。诚邀您加入MBA智库百科VIP会员,共渡难关,共同见证彼此的成长和进步!
MBA智库百科项目组
2023年8月10日

闽公网安备 35020302032707号

添加收藏

    新建收藏夹

    编辑收藏夹

    20