图灵焦油坑

✍ dations ◷ 2025-12-03 17:39:43 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 柏柏尔犹太人柏柏尔犹太人(Berber Jews),是生活在摩洛哥阿特拉斯山地区说柏柏尔语的犹太人分支,人口3,000~9,000人。他们的起源不明,其中一个说法是一些人是改信犹太教的柏柏尔部落后人(在罗马
  • 氧化数氧化数(英文:Oxidation number)用来表示配位化合物中,所有配体及成配位键的电子对都被去掉后,中心原子所带的电荷数。氧化数这个概念被用于无机化学命名法中。标明氧化数使用罗马
  • 伊泽尔省伊泽尔省(法语:Isère)是法国奥弗涅-罗讷-阿尔卑斯大区所辖的省份。该省编号为38。位于奥弗涅-罗讷-阿尔卑斯大区东部,该省是本大区中面积最大的一个省份,而人口也在本大区排名第
  • 莱昂内尔·彭罗斯莱昂内尔·彭罗斯(英语:Lionel Penrose,1898年6月11日-1972年5月12日),英国精神病学家、遗传学家、数学家、国际象棋理论家。彭罗斯毕业于剑桥大学圣约翰学院,是剑桥使徒的一员。他
  • 克缇国际大楼克缇国际大楼(英语:Kelti International)别名:全丰盛信义105大楼)是台湾台北市信义区的一幢摩天大楼,位于台湾台北市信义区松仁路105号,信义计划区B5地号,大元联合建筑师事务所设计,
  • 劳动部劳动部是中华民国有关劳工、人力资源等劳动事务的最高主管机关,并负责办理社会保险类的劳工保险,与代办国民年金保险。司法改革运动↗ · 媒体改革运动↗ · 劳工运动↗ · 人
  • 营养物质营养素(英语:nutrient),又称为养分,是人体所需的物质。主要分为人体需求量较大的宏量营养素和需求量较小的微量营养素。其中宏量营养素包括碳水化合物、脂肪、纤维素、蛋白质以及
  • 加拿大参议院加拿大参议院(英语:Senate of Canada;法语:Sénat du Canada),也译作加拿大上议院,是加拿大国会的一部分,并与下议院及君主组成整个立法机构。加拿大国会上议院是位于首都渥太华的国
  • 余茂春余茂春(Maochun Miles Yu 1962年-)美国海军学院东亚和军事史教授。1962年生于中国重庆,1983年毕业于南开大学历史系,斯沃斯莫尔学院硕士,1994年,加州大学伯克利分校历史学博士。。
  • 西城镇 (安国市)西城镇,是中华人民共和国河北省保定市安国市下辖的一个乡镇级行政单位。2016年12月16日,河北省民政厅批复同意撤销西安国城乡,设立西城镇,镇人民政府驻西城村团结西路13号。西城