图灵焦油坑

✍ dations ◷ 2025-11-24 08:15:55 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 男性优于女性大男子主义(英语:Male chauvinism),又称男性沙文主义、男性至上主义、男性优越主义或者大男人主义,是一种认为男尊女卑、男性必定优于女性,因此男性更应统治女性的意识形态。沙文
  • 巫统Pertubuhan Kebangsaan Melayu United Malays National马来民族统一机构(马来语:Pertubuhan Kebangsaan Melayu Bersatu;英语:United Malays National Organization),又译巫来由
  • 华夷秩序华夷秩序,或称华夷之辨、夷夏之辨、天下秩序、夷夏大防,原是上古中原人用于区辨中原华夏与蛮夷的一种概念。中国历史上“华夷之辨”的衡量标准大致有三个:血缘,地缘,以及衣饰、礼
  • 加拿大工业部加拿大工业部(英语:Industry Canada、法语:Industrie Canada)是加拿大政府部门之一,负责区域经济发展、投资与创新/研发。工业部在全国各地共有6,104名全职职员。工业部负责的机
  • 詹姆斯·戴森詹姆斯·戴森爵士,CBE FREng FRS(英语:Sir James Dyson,1947年5月2日-),英国发明家、工业设计师,以及戴森公司创办人。他最著名的发明是靠着旋风分离原理运作的双气旋无袋式吸尘器。
  • 雷扎·穆罕默迪·兰加鲁迪阿亚图拉雷扎·穆罕默迪·兰加鲁迪(波斯语:رضا محمدی لنگرودی‎;1928年8月3日-2020年3月7日),伊朗什叶派中十二伊玛目派的神职人员。他曾是伊朗最高领袖阿里·哈梅
  • 圣玛尔定堂 (马德里)圣玛尔定堂 (西班牙语: )是西班牙马德里的一座罗马天主教教堂,供奉都尔的玛尔定。该堂位于中区的Calle del Desengaño街,靠近格兰大道和卡亚俄广场。1995年,圣玛尔定堂被列为
  • 吴宗先吴宗先(1916年-1994年),安徽六安人,中国人民解放军将领、中国人民解放军少将。毕业于解放军军事学院。1967年,担任首任济南军区空军司令员。1975年,由王子祥接任。1955年,授中国人民
  • 北极星直升机北极星直升机(HAL Dhruv)是印度斯坦航空有限公司截至2019年为止唯一量产的直升机,属于军民两用型。80年代印度决定自制军用直升机,印度斯坦航空公司在原德国MBB公司(现并入欧
  • 三茂铈三茂铈是铈的金属有机化合物,化学式为Ce(C5H5)3,在干燥空气中是镧系金属环戊二烯配合物中最不稳定的。三茂铈和一般过渡金属的环戊二烯配合物不同,被认为是离子型键合。三茂铈