图灵焦油坑

✍ dations ◷ 2025-12-10 11:05:12 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 拉br /伸br /纪拉伸纪(Tonian,符号NP1)又名青白口纪,是地质时代中的一个纪,开始于同位素年龄1000±0百万年(Ma),结束于720±0Ma。拉伸纪期间首次出现大型具刺疑源类,并形成臭氧层。拉伸纪属于前寒武
  • FLRW度规罗伯逊-沃克度规(英语:Robertson-Walker metric)是H.P.罗伯逊和沃尔克分别于1935年和1936年证明的。由于俄国数学家弗里德曼和比利时物理学家勒梅特也作出了重要的贡献,因此也称
  • 约瑟夫斯·尼古劳斯·劳伦蒂约瑟夫斯·尼古劳斯·劳伦蒂(德语:Josephus Nicolaus Laurenti,1735年12月4日-1805年2月17日)是意大利裔奥地利博物学家、动物学家和医生。劳伦蒂在1768年发表了关于爬虫两栖类动
  • 数码相机数码相机(英语:Digital Camera),是一种利用电子感测器把光学影像转换成电子数据的照相机,有别于传统照相机通过光线引起底片上的化学变化来记录图像。“数码”一词原本是英文Digi
  • NHK综合频道NHK综合频道(日语:NHK総合テレビジョン,英语译名:),又译为NHK综合电视台、NHK综合台,为日本放送协会(NHK)的无线电视频道之一,简称“NHK G”或“GTV”(台标显示为“NHKG”),识别呼号为JOA
  • 2048 (消歧义)2048可以指:
  • 辉腾锡勒草原辉腾锡勒草原位于中国内蒙古自治区乌兰察布市察哈尔右翼中旗的中南部。辉腾锡勒(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Men
  • 马赛大播棋马赛大播棋(En Gehé),是流行于坦桑尼亚北部地区马赛人的播棋类游戏,棋盘长度与棋子数量较其他播棋游戏多。
  • 费拉拉和摩德纳公爵列表本条目列出了费拉拉公国、摩德纳公国的统治者名单。摩德纳公国全称为摩德纳和雷焦公国,是一个以意大利城市摩德纳为中心的一个邦国,存在于1452年至1796年及1814年至1859年。统
  • 共敖共敖(?-前204年),中国秦末汉初人,第一代临江国王。共敖,秦南郡人。秦末农民起义领袖。秦朝末年,任楚怀王熊心柱国。前206年,项羽攻入咸阳,因其攻取南郡有功,受项羽封为临江王,立都于江陵