图灵焦油坑

✍ dations ◷ 2025-11-23 19:45:46 #艾伦图灵,趣味数学,计算理论

图灵焦油坑(英语:Turing tarpit)是指功能过于灵活而难以学习和使用的程序设计语言或计算机接口。 1982年艾伦·佩利在《编程警句(英语:Epigrams on Programming)》中发明了这一术语:

54. 留心图灵焦油坑,在其中任何事情都是可能的但没有什么有趣的事是容易的。

凡是图灵完备的语言都可以写任意程序,因此不严格地来说各种编程语言是等价的。但理论上的能力在实践中的实用性往往并不相同。图灵焦油坑是指一个非常简单的抽象机,实现中的各种细节都要求用户自行处理。它的另一个极端是几乎不需要人为干涉就能执行所有任务的接口,但一旦需求轻微改变就需要调整源代码。

像Brainfuck这样深奥的编程语言就被称为图灵焦油坑。它们虽然是图灵完备语言,但故意只实现最少的功能。使用这些语言是一种娱乐数学:设计最简单的基本程序都极为困难,但数学上图灵等价的语言。

相关

  • 草津温泉草津温泉(日语:草津温泉/くさつおんせん),位于日本群马县吾妻郡草津町的温泉名胜地。其起源已有千年之久。草津温泉的pH值在1.7至2.1,是强酸性硫黄泉,具有医疗功效。林罗山的日本三
  • 占领布达佩斯战役是第二次世界大战末期苏军在布达佩斯攻势中围攻匈牙利首都布达佩斯的战役,围城战长达50天。当1944年12月26日苏军包围了由德国国防军及匈牙利军防守的布达佩斯,围
  • 怀俄明领地纹章怀俄明领地(英语:Wyoming Territory)是美国历史上一个合并建制领土,存在于1868年7月25日至1890年7月10日之间,之后升格为怀俄明州。怀俄明领地系由达科他领地、爱达荷领地和
  • 鹭鸶鹭科(学名)在动物分类学上是鸟纲中的鹈形目中的一个科,也被称为鹭类。本科的鸟类为大、中型涉禽,主要活动于湿地及附近林地,它们是湿地生态系统中的重要指示物种。鹭科的鸟类具有
  • 摩洛哥阿拉伯语摩洛哥阿拉伯语在摩洛哥被称为达里贾(الدارجة‎ ,即“方言”),是阿拉伯语变体马格里布阿拉伯语的一支,主要分布于摩洛哥。摩洛哥阿拉伯语因历史原因受柏柏尔语、拉丁语、
  • 索林·丹增索林·丹增(蒙古语:Солийн Данзан,1885年-1924年)蒙古族,外蒙古赛音诺颜部人,蒙古革命家, 蒙古人民党第一任中央委员会主席。丹增早年担任税官,其间参与创建了作为蒙古人
  • 若瑟·萨拉依瓦·玛尔定若瑟·萨拉依瓦·玛尔定(西班牙语:José Saraiva Martins;1932年1月6日-)是葡萄牙籍天主教主教级枢机,帕莱斯特里纳罗马城郊教区领衔主教、圣母圣心爱子会会士及圣座封圣部荣休部
  • HahaHaha하동훈(韩语:하하;1979年8月20日-),本名河东勋(하동훈/河東勳 ),韩国雷鬼歌手、演员及主持人,现多半以节目主持身份活跃于演艺界。Haha为其英文名兼昵称,因为他的姓氏“河”在韩语
  • 关源硬捻螺关源硬捻螺(学名:)是捻螺科蛹螺属的一种。捻螺科旧属真后鳃类的头楯目,今归异鳃类支序的下异鳃类非正式群组。主要分布于中国大陆、台湾,常栖息在深海底。
  • 詹俊詹俊(1972年10月30日-),中国足球评述员,解说以普通话为主。以资料详细著称,有英超专家的称号,有时兼任网球评述。2001年至2012年期间供职于ESPN STAR Sports亚洲台。2012年返回国内