图灵焦油坑

✍ dations ◷ 2025-04-28 17:28:24 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 虱毛目见内文虱毛目(学名:Phthiraptera)是原虱目和食毛目的合称,通称虱或虱子(英语:louse)。全世界约有3,000种。虱寄生于人体、其他哺乳动物(除了单孔目和蝙蝠外)和鸟类的身上。以人类为宿
  • 布拉格广播电台布拉格国际广播电台(捷克语:Radio Prague International,英语:Radio Prague International)是捷克国营电台——捷克广播电台(英语:Czech Radio)的第七套广播频率,也是捷克的对外广播
  • 侯振挺侯振挺(1936年3月-),河南新密人,中国数学家,长期从事马尔可夫过程的研究,中南大学教授,全国劳动模范,第五、六、七、八届全国人大代表。1978年加入中国共产党。2017年获第十三届华罗
  • 非自然法性行为非自然法性行为(英语:sodomy,所多玛)指中世纪基督教神学中非属于神学自然法规范的性行为,一般指男性与男性之间的肛交行为。也可能指女性与女性之间的性行为,男性与女性之间的口交
  • 孙庄乡 (涿州市)孙庄乡,是中华人民共和国河北省保定市涿州市下辖的一个乡镇级行政单位。孙庄乡下辖以下地区:赵家铺村、北横歧村、南横歧村、西横歧村、税门村、孙家庄村、北胡宁村、西古城村
  • 独酒男女河锡辰、朴河宣、黄雨瑟惠、 孔 明、闵镇雄、金元海《独酒男女》(韩语:혼술남녀,英语:Drinking Solo),为韩国tvN于2016年9月5日起播出的月火连续剧,由《一起吃饭吧2》崔奎植导演与
  • 臧励龢臧励龢(1875年-20世纪),字伯纶,又字博纪,号啸云仙史,江苏武进人,清末民初时期辞典编纂学者。主编有《中国人名大辞典》、《中国古今地名大辞典》、《韩愈文》、《汉魏六朝文》、《战
  • 汤普森群数学上,汤普森群(英语:Thompson groups)是理查德·汤普森1965年在几份未发表的手写笔记中,提出的三个群,通常记为⊂⊂。这三个群中受到最广泛研究的是群。有时汤普森群单单指群。
  • 郑克鲁郑克鲁(1939年8月1日-2020年9月20日),男,广东中山人,中国文学翻译家,上海师范大学教授。中国作家协会会员。1939年生于澳门妈阁街侧的郑家大屋。其曾祖父是晚清思想家郑观应。小学
  • 古怀璞古怀璞(1956年12月-),山东临沭人,中华人民共和国政治人物。1999年6月,任河北省接待办公室主任。2001年,任河北省委副秘书长。2003年,兼任河北省政府驻北京办事处主任。2008年3月,任河