图灵焦油坑

✍ dations ◷ 2025-02-23 21:38:20 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

花纹爱洁蟹花纹爱洁蟹（学名：Atergatis floridus）为扇蟹科熟若蟹亚科爱洁蟹属的动物。分布于日本、夏威夷、塔希提岛、土阿莫土群岛、社会群岛、斐济、马绍尔群岛、吉尔伯特群岛、加罗林岛
橙人雪城大学橙人队（英语：Syracuse Orange）代表雪城大学参加国家大学体育协会（NCAA）第一级别的多项体育赛事。2013年以前雪城属于大东联盟（Big East）的成员。自大东联盟解体后，学校加入
恒星物理学恒星物理学，是天体物理学的一个重要分支，研究恒星内部的结构与物理过程、恒星的演化、脉动与大气内辐射以及致密天体（如白矮星、中子星）等，它奠定了当代天体物理的基础。诺贝尔物
云琅村云琅村位于中华人民共和国广东省化州市东北三镇的最南端，也是陵江盆地平原的最南端，陵江盆弯环流该村庄，三面环水，地杰人灵，三江汇流，土地肥沃，沿江岸线化北最长的自然村，竹林茂密，人
速度与激情2《速度与激情2》（英语：）是一部2003年美国动作惊悚片，为2001年《速度与激情》的续集及《速度与激情》系列电影的第二部作品。由约翰·辛格顿（英语：John Singleton）执导，迈克尔·布拉
尼达 (立陶宛)尼达（立陶宛语：Nida）是位于立陶宛西部的一个城市，靠近立陶宛和俄罗斯飞地加里宁格勒。尼达也是立陶宛著名的度假城市，约有人口1650人。坐标：55°18′N 21°00′E / 55.300°N 21.0
赝势赝势（pseudopotential），或有效势（effective potential），是指在对能带结构进行数值计算时所引入的一个虚拟的势。引入赝势有助于实现一个复杂的系统的近似计算。事实上，赝势近似法是
潘琼雄潘琼雄（1930年9月20日－2003年10月22日），男，广东琼山（今属海南）人，中华人民共和国政治人物，曾任海南省人大常委会副主任，第八届全国人大代表。
安托万·比内安托万·比内（Antoine Pinay，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gen
对某飞行员的追忆台版封面《对某飞行员的追忆》（とある飛空士への追憶，The Princess and the Pilot），为日本作家犬村小六在2008年2月19日由Gagaga文库所发行的轻小说，日文新装版本并于2011年8月14