图灵焦油坑

✍ dations ◷ 2025-12-01 13:37:45 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 超广谱β-内酰胺类抗生素(Beta-lactam antibiotic)是一种种类很广的抗生素,其中包括青霉素及其衍生物、头孢菌素、单酰胺环类(英语:monobactam)、碳青霉烯和青霉烯类酶抑制剂等。基本上
  • 霍利·亨特海伦·伊丽莎白·亨特(Helen Elizabeth Hunt,1963年6月15日-),生于美国加利福尼亚州的洛杉矶,是一位女演员。第70届(1997年度;1998年初颁奖)奥斯卡最佳女主角奖得主。又译海伦·杭特
  • A字裙A字裙是一种裙子,其形态为由臀部向下至下摆逐渐扩大,类似罗马字母大写A而得名。A字裙这词最早出现于1955年春天,法国时装设计师克里斯汀·迪奥为她的作品分类而产生。而克里斯
  • 曼努埃尔·卡多纳曼努埃尔·卡多纳·卡斯特罗(西班牙语:Manuel Cardona Castro,1934年9月7日-2014年7月2日),西班牙物理学家。根据ISI引文网络数据库,卡多纳是自1970年以来被引次数最多的八位物理学
  • 危险心灵《危险心灵》是台湾知名作家侯文咏所写的小说。故事剧情以青少年学生的角度出发,关注教育改革政策下的学校、老师、学生、家长方面的冲突与各种现象。书中许多情节深刻的点出
  • 长叶蝠属长叶蝠属(长叶蝠),哺乳纲、翼手目、叶口蝠科的一属,而与长叶蝠属(长叶蝠)同科的动物尚有美洲叶鼻蝠属(加州叶鼻蝠)、南美大耳蝠属(绒大耳蝠)、剑鼻蝠属(金剑鼻蝠)、绒假吸血蝠属(绒假吸血
  • 多项式时间归约在计算复杂性理论中,多项式时间归约是指假设已有解决一个问题的子程序,利用它在多项式时间内(不考虑子程序运行所用时间)解决另一个问题的归约方法。多项式时间归约有几种不同类
  • 埃尔哈德·海登埃尔哈德·海登(德语:Erhard Heiden,1901年2月23日 – c.1933年)是一位纳粹党的早期成员,同时也是准军事组织“党卫队”的第三位领导人。他于1927年出任党卫队全国领袖;当时的党卫
  • 华原朋美华原朋美(Kahara Tomomi,1974年8月17日-),本名下河原朋美(Shimogawara Tomomi),日本女歌手、艺人、和马术选手。东京都江东区出生、千叶县浦安市长大。身高156公分。血型O型。绰号“
  • 伊斯纳普尔伊斯纳普尔(Isnapur),是印度安得拉邦Medak县的一个城镇。总人口7564(2001年)。该地2001年总人口7564人,其中男性4043人,女性3521人;0—6岁人口1124人,其中男555人,女569人;识字率59.39%