图灵焦油坑

✍ dations ◷ 2025-11-26 03:24:46 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 考古考古学(英语:archaeology或archeology,源自古希腊文:ἀρχαιολογία, archaiologia ;ἀρχαῖος,arkhaīos,“古代”;以及-λογία, -logiā,“学问”),对于过去人类
  • 高嫁慕强择偶,或称高嫁,是社会中常见的行为模式,女方本能地选择社经地位较自己高的男性以做为自己的配偶,以繁衍更有竞争能力的后代。现今台湾社会中,超过八成的夫妻是“夫较妻年长”
  • 被覆金属电弧焊接手工电弧焊是一种非常常见而基本的焊接技术。它利用电弧放电产生热量的原理,将焊条和被焊接的工件(母材)分别接上电源的两极,当两者之间引燃电弧并保持电弧稳定燃烧时金属便会因
  • 伟大艺人号大艺术家号轰炸机(英语:The Great Artiste)是美国陆军航空军银盘计划中的一架B-29超级堡垒轰炸机(B-29-40-MO 44-27353,Victor number(英语:Unit identification aircraft markings
  • 桂枝桂枝(拉丁文:Ramulus Cinnamomi、桂心)是中药材,是樟科常绿乔木桂树(肉桂,Cinnamomum cassia)的嫩枝。产于广西、广东、云南、福建等地,尤以广西为多。春夏采收,晒干或阴干,切片生用。
  • 电子数据交换电子资料交换(英语:Electronic data interchange,缩写)是一个文档规范,作为1至2个或多个应用系统间都可以理解的通用界面。他通常用于大公司的电子商务,如发送订单到仓库或跟踪这
  • 墨子 (书)《墨子》是中国战国著名科学家、思想家、政治家墨子的著作,共五十三篇传世于今。《汉书·艺文志》云“墨子七十一篇”,现存《墨子》五十三篇,由墨子和各代门徒逐渐增补而成,是研
  • 2004年亚洲足协杯2004年亚洲足协杯(2004 AFC Cup)是亚洲足球联合会举办的第 1 届亚洲足协杯,参赛成员是亚洲各国“发展中国家”联赛球会。The 'developing' 14 nations in the Asian Football C
  • 骚动者乐团骚动者乐团(南非语:Seether),是南非的一组另类摇滚乐团。1999年,该乐团于南非豪登省比勒陀利亚创立。原团名为“Saron Gas”,但因为拼写近似沙林瓦斯(Sarin Gas),该乐团于2002年移师
  • 石康石康(1968年3月14日-),男,生于北京,编剧、作家。1987至1991年,本科毕业于北京航天工程学院电子系计算机软件专业。研究生在哈工大管理学院读技术经济专业,理科硕士。1993年从事文学