图灵焦油坑

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

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

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

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

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

相关

  • 侵蚀作用侵蚀作用(英语:erosion)或水土流失(英语:soil erosion)是自然界的一种现象,是指地球的表面不断受到风、水的磨损。这个过程,陆地除了被侵蚀之外,蚀出的物质还会被带走,堆积在其他地方,
  • 中国作家协会中国作家协会,简称中国作协,是中华人民共和国全国性的作家协会。1949年7月23日,中华全国文学工作者协会在北平成立,简称“全国文协”,成为中华全国文学艺术界联合会(即中国文联)下
  • 草酸钙草酸钙是钙的草酸盐,化学式为CaC2O4或Ca(COO)2,分子量128.10,为白色针状晶体。难溶于水和乙酸,可溶于稀硝酸和盐酸中。由钙盐与草酸在水溶液中作用制得,在蒟蒻芋等植物里面也含有
  • 阿罗悖论在社会选择理论中,阿罗悖论(英语:Arrow Paradox),又称作阿罗不可能定理(英语:Arrow's impossibility theorem)、一般可能性定理(General Possibility Theorem),是指美国斯坦福大学教授
  • α,β-不饱和羰基化合物α,β-不饱和羰基化合物即共轭的不饱和羰基化合物,包括醛、酮、酯、腈、(硝基化合物)等,但一般指α,β-不饱和醛酮,简称不饱和醛酮。它们在结构上有一个共同的特点,也就是含有一个
  • 艾哈迈德·哈马迪帕夏艾哈迈德·哈马迪帕夏(土耳其语:Ahmed Hamdi Paşa;1826年-1885年),阿巴扎人出身的奥斯曼帝国政治家,并在1878年1月11日-2月41日出任大维齐尔。他在1873年-1874年出任伊兹密尔总督,187
  • 尼古拉斯维尔 (肯塔基州)尼古拉斯维尔(Nicholasville)是美国的一座城市。是肯塔基州杰萨曼县的县治,也是肯塔基州第11大的城市。据2010年人口普查,尼古拉斯维尔有人口28,015人。许多在列克星敦工作的通
  • 山口壮山口 壮(日语:山口 壯,1954年10月3日-)出生于日本兵库县相生市,毕业于东京大学和约翰·霍普金斯大学。日本政治家、众议院议员,前民主党党籍,2013年离党。曾出任内阁府副大臣、外务
  • 吉拉德·笛沙格吉拉德·笛沙格(法语:Girard Desargues,1591年2月21日生于法国里昂,3月2日受洗,1661年10月卒于里昂),法国数学家和工程师,别名S.G.D.L. ,他署名Sieur Girard Desargues Lyonnois的缩
  • 崔适崔适(1852年-1924年),字怀瑾,一字觯甫,亦作觯庐,浙江吴兴(今属湖州市)人。近代经学家、史学家。崔适初受学于俞樾,与章太炎同门,治校勘训诂之学。后受康有为《新学伪经考》的影响,专治今