图灵焦油坑

✍ dations ◷ 2025-11-11 06:22:53 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 巴比妥类药物巴比妥类药物(Barbiturate)是一类作用于中枢神经系统的镇静剂,属于巴比妥酸的衍生物,其应用范围可以从轻度镇静到完全麻醉,还可以用作抗焦虑药、安眠药、抗痉挛药。长期使用则会
  • 被子植物花发育被子植物花发育的ABC模型由E. Coen和E. Meyerowitz在1991年提出。这个模型是以对花器官发育有缺陷的突变体的观察为基础的。ABC模型概括了在花的不同部位中,不同类型的转录因
  • 科尔贝电解柯尔贝电解(Kolbe电解、Kolbe反应),也译为科尔伯电解、科尔贝电解、科伯电解,是羧酸盐电解时以自由基机理发生脱羧二聚生成烷烃的反应。反应以德国化学家阿道夫·威廉·赫尔曼·
  • 一府六曹一府六曹(朝鲜语:1부 6조/1府6曺)是高丽和朝鲜王朝时期的官制。1894年,一府六曹制被朝鲜废除。
  • 考比勒类考比勒类是一种鸡尾酒,这种鸡尾酒必须加碎冰,使其摇晃如同河中卵石(cobble)的声音,主要有:
  • 比尔希略·巴尔科·巴尔加斯比尔希略·巴尔科·巴尔加斯(西班牙语:Virgilio Barco Vargas,1921年9月17日-1997年5月20日), 哥伦比亚政治家和外交家,哥伦比亚自由党领袖,1986年至1990年任哥伦比亚总统。巴尔科生
  • 穆赫辛·阿卜杜勒·哈米德穆赫辛·阿卜杜勒·哈米德(阿拉伯语: محسن عبد الحميد)(1937年-)是一位伊拉克政治家和伊斯兰学者,美国2003年入侵伊拉克后,曾是伊拉克临时管理委员会成员,2004年2月出任
  • 波斯酒波斯酒(波斯文:می‎ 或 باده‎)是波斯的文化象征和传统,在波斯神话、波斯文学和波斯细密画中是一个显著的存在。最近的考古发现显示波斯酒的历史比20世纪的作家的想象更为
  • 大连理工大学出版社大连理工大学出版社 (英语:Dalian University of Technology Press) 是一家中国大连的出版社,隶属于大连理工大学。创建于1985年2月,2005 年3 月更名为大连理工大学出版社有限
  • 王材任王材任(1653年-1739年),字澹人,号西涧。黄冈人。王泽宏之子。顺治十年出生。康熙十八年己未进士,历官佥都御史。执法公正,不避权贵,四十三年罢去。移居江苏常熟虞山之西涧。晚年重听