图灵焦油坑

✍ dations ◷ 2025-08-23 13:09:06 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 造成疾病致病真菌(英语:Pathogenic Fungi)是引起人类或其他生物产生真菌病的真菌。 已知大约300种真菌对人类具有致病性。虽然真菌是真核生物,但是许多致病真菌也是微生物。对人类致病的
  • 凯旋将军古罗马政府与政治 系列条目罗马共和国前509年–前27年 罗马帝国前27年–1453年元首制西罗马帝国君主制东罗马帝国王政时代宪政(英语:Constitution of the Roman Kingdom) 共和
  • 顿河顿河可能是指下列事物:
  • 1966年请参看:(第39届,1967年颁发)(其他奖项参见奥斯卡金像奖获奖名单)
  • 生态池坐标:25°00′58″N 121°32′23″E / 25.016067°N 121.539677°E / 25.016067; 121.539677国立台湾大学生态池,又称水生池、水源池,于2003年11月14日启用,位于台大农场旁。是
  • 阿兹米·比沙拉阿兹米·比沙拉(阿拉伯语:عزمي بشارة‎;希伯来语:עזמי בשארה‎,1956年7月22日-)是一个拥有以色列公民身份的巴勒斯坦基督徒,1996年至2007年4月期间代表阿拉伯政党
  • 乐山专区乐山专区,中国专区名。1950年1月设置,属川南行署区。专署驻地乐山县,下辖九县:乐山县、井研县、峨眉县、犍为县、峨边县、沐川县、马边县、雷波县、屏山县。1951年,从犍为县析置
  • 宫泽贤治宫泽贤治(1896年8月27日-1933年9月21日),日本昭和时代早期的诗人、童话作家、农业指导家、教育家、作词家,也是名虔诚的佛教徒与社会活动家。生于日本岩手县。毕业于盛冈高等农林
  • 阿部正教阿部正教(あべ まさのり、1840年1月21日(天保10年12月17日) - 1861年7月4日(文久元年5月27日)),备后福山藩阿部家8代藩主。阿部家宗家12代。为6代藩主阿部正宁长男。其母为大河内氏
  • 夏商周年表2000年,中国夏商周断代工程结题,该工程对盘庚迁殷至周共和元年(前841年)之间的君主进行了详细的断代,本处的年表,即为该工程的结果。不过,由于夏商周断代工程存在一些争议,该工程的