图灵焦油坑

✍ dations ◷ 2025-11-29 13:17:42 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 尿素尿素是由碳、氮、氧和氢组成的有机化合物,又称脲(与尿同音)。其化学式为 CON2H4、(NH2)2CO 或 CN2H4O,分子质量60,国际非专利药品名称为 Carbamide(碳酰胺)。外观是无色晶体或粉末,
  • 甜菜甜菜(学名:Beta vulgaris、英语:beetroot)又名菾菜或红菜,为藜科甜菜属下的一个种。原产于欧洲西部和南部沿海,从瑞典直到西班牙,是热带甘蔗以外的一个主要糖来源。叶子也是一种蔬
  • 阿南惟茂阿南惟茂(あなみ これしげ、1941年1月16日-),日本外交官。曾任日本驻中国大使。在沈阳总领事馆事件中因处理不当而备受日本方面批判。阿南惟茂出生于东京。东京大学法学部毕业,19
  • 奥克兰运动家—1994年因为球员罢工,使得球季最后八个星期赛事被取消。奥克兰运动家当时战绩虽然是少于五成胜率12场,但却是排名第二,在德州游骑兵后。当年没有宣布任何正式奖项。 2002年103
  • 银线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 图 (数学)在数学的分支图论中,图(Graph)用于表示物件与物件之间的关系,是图论的基本研究对象。一张图由一些小圆点(称为顶点或结点)和连结这些圆点的直线或曲线(称为边)组成。西尔维斯特在187
  • 雅罗斯拉夫尔州雅罗斯拉夫尔州(俄语:Ярославская область,罗马化:Yaroslavskaya oblast)成立于1936年3月11日是俄罗斯联邦主体之一,属中央联邦管区。面积36,400平方公里,人口1,
  • 波涛波浪、波涛是发生在各种水体(海水上的又叫海浪)表面上的表面波,即沿着水与空气界面间传行的一种波动,属于重力波的一种类型。当风吹起时,风所带来的压力及摩擦力对海洋表面的平衡
  • 后山埤站后山埤站,副站名五分埔商圈,位于台湾台北市信义区、南港区交界处,是台北捷运板南线的捷运车站。车站位于忠孝东路六段下方,与永吉路、玉成街的交叉口以及中坡南北路口间,曾暂名为
  • 毛叶欧李毛叶欧李(学名:)是蔷薇科樱属的植物,为中国的特有植物。分布于中国大陆的河南、陕西、山西、宁夏、甘肃、河北等地,生长于海拔400米至1,600米的地区,常生于山坡阳处、灌丛中和荒草