图灵焦油坑

✍ dations ◷ 2025-11-21 11:30:54 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 刚果红刚果红是一种酸碱指示剂,当pH低于3.0时呈蓝色,高于5.2时呈红色。化学式为C32H22N6Na2O6S2;分子量696.66 g/mol。在生物学上可用刚果红筛选纤维素分解菌。原理如下:刚果红可与纤
  • MgOsub2/sub过氧化镁(化学式:MgO2)是镁的过氧化物,室温下为白色至灰白色粉末。无水MgO2只能在液氨溶液中获得,而在水中的反应将导致生成各种水合物。商品过氧化镁通常是MgO2和Mg(OH)2的混合
  • 拉姆安拉拉姆安拉(阿拉伯语:رام الله‎),又译拉马拉,是巴勒斯坦的一个重要城市,位于约旦河西岸拉姆安拉和比雷赫省,在东耶路撒冷以北约10公里。人口274,600(2007年)。拉姆安拉是巴勒斯
  • 客家裔台湾人本文属于客家系列的一部分台湾客家人,是指具有汉族客家民系认同的台湾人,为台湾第二大族群。其母语为台湾客家话,历经早期、明郑时期、清治时期皆能通行于台湾的客家地区,在日治
  • 东坡肉东坡肉(又名滚肉、东坡焖肉),江、浙菜名,用五花肉炖制而成。一般是一块约二寸许的方正形五花肉,一半为肥肉,一半为瘦肉,入口肥而不腻,带有酒香,十分美味。相传此菜由宋代大文豪苏轼所
  • 奥斯曼帝国大维齐尔列表以下是一个奥斯曼帝国大维齐尔(土耳其语:Vezir-i Azam或/;奥斯曼土耳其语:صدر اعظم或وزیر اعظم),即奥斯曼帝国政府首脑的列表。
  • 北库尔德语北库尔德语(、کوردیا ژۆرین),又称库尔曼吉语(; کورمانجی),是库尔德语在土耳其东南部,叙利亚和伊拉克北部,伊朗西北部等地的一个分支。北库尔德语是分布最广、使
  • DropbearDropbear是由Matt Johnston所开发的Secure Shell软件(包括服务端与客户端)。期望在存储器与运算能力有限的情况下取代OpenSSH,尤其是嵌入式系统。Dropbear实现了SSH协议第二版(S
  • 塔卡特加尔塔卡特加尔(Takhatgarh),是印度拉贾斯坦邦Pali县的一个城镇。总人口15809(2001年)。该地2001年总人口15809人,其中男性8071人,女性7738人;0—6岁人口2817人,其中男1478人,女1339人;识字
  • 国境以南 太阳以西《国境之南 太阳之西》是日本作家村上春树的一本小说。这篇小说和村上以前的小说基调基本相同,叙事方式也采用第一人称口吻,主人翁是中年男子。这部小说主要讲述了男主人公如