图灵焦油坑

✍ dations ◷ 2025-04-06 23:54:37 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 牙部,为汉字索引中的部首之一,康熙字典214个部首中的第九十二个(四划的则为第三十二个)。就繁体和简体中文中,牙部归于四划部首。牙部通常是从下方均可为部字。且无其他部首可用
  • 贴扎贴扎是一种将胶布贴于皮肤以达到增进或保护肌肉骨骼系统的非侵入性治疗。贴扎技术常用于骨骼肌肉系统伤害的处理,目的为固定关节位置及限制软组织的活动以让软组织在稳定的状
  • 辐鳍鱼总纲目分类请见本文。辐鳍鱼又名条鳍鱼,为辐鳍鱼总纲(学名:Actinopterygii)鱼类的通称,是一类鳍呈放射状的硬骨鱼。辐鳍鱼是脊椎动物中种类最多的,种数几乎占现存3万多种鱼类的99%,遍及
  • 中古拟音中古汉语使用于南北朝、隋朝、唐朝时期,继承自上古汉语,后来发展为近代汉语。现代语言学家根据当时的文献资料重建出其特征。对于中古汉语和近代汉语(有材料称为近古汉语)的分界
  • 女真人女真(女真文:,转写:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alte
  • 江尻笃彦江尻笃彦(1967年7月12日-),前日本足球运动员。
  • 范振钰范振钰(1927年-2008年11月17日),中国河北省容城县人,著名相声表演艺术家,中华人民共和国建国前相声演员一般多家境贫寒,但范振钰出身富足,却酷爱相声,1941年开始登台演出,1951年拜班德
  • 北 (南卡罗来纳州)北(英文:North),是美国南卡罗来纳州下属的一座城市。城市类型是“Town”。其面积大约为5.19平方英里(13.43平方公里)。根据2010年美国人口普查,该市有人口754人,人口密度约为每平方
  • 软件可测试性软件可测试性(Software testability)是指一个软件工件(软件系统、模组、需求文件或设计文件等)在一给定的测试环境下,可支援测试的程度。软件工件的可测试性不是一个内在(英语:Intr
  • 王又曾 (清朝诗人)王又曾(1706年-1762年),清朝诗人,秀水诗派的代表人物之一。号谷原,浙江嘉兴人。乾隆十九年(1754年),考中进士,官至刑部主事。诗歌上与同乡万光泰、祝维诰相唱和。