图灵焦油坑

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

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

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

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

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

相关

不完整的比较不完整的比较（incomplete comparison）是一种非形式谬误，系透过不完整而难以驳斥的断言证成观点。然而，正因为其不完整，因而也无法有效证成观点。“甲公司的产品比乙公司的产品更
晚香玉晚香玉（学名：Polianthes tuberosa），别名月下香，是石蒜科（或龙舌兰科）晚香玉属的一种多年生球根开花植物。多年生草本，根状茎块状；线形叶子丛生，先端尖；花茎较长，上部呈总状花序，夏秋开白
卡德加·普拉萨德·奥利卡德加·普拉萨德·夏尔马·奥利（尼泊尔语：खड्ग प्रसाद शर्मा ओली；1952年2月22日－）是尼泊尔的一名共产主义政治家。2014年7月，他成为尼泊尔共产党（联合马列）主席
CanonCanon（音标：英－；美－）是英文名词，意思是“典型”或“真传经典”，也可表示： 1.正式〔伦理或思想行为上的〕规范、标准、准则，如行为(高尚趣味)的准则。 2.原著、真作、真本(书目)、正经
家鼠家鼠可能是指：
体育台纬来体育台是纬来电视网旗下的运动专业频道。本频道从1997年起开始转播中华职棒赛事而闻名，并开始转播大量本土运动赛事。在2014年因和MPS公司谈判未果，失去中华职棒转播权，旗
尤里·马宁尤里·伊万诺维奇·马宁（俄语：Ю́рий Ива́нович Ма́нин，转写：Yuri Ivanovitch Manin，1937年2月16日－），俄罗斯数学家，从事代数几何和丢番图几何的研究，还开展了数理
丁晓萍丁晓萍（1966年4月－），上海交通大学人文学院副院长。1984年，毕业于缙云中学并考入北京大学中文系，她是缙云中学首位考上北京大学的女生。1989年，毕业于北京大学中文系中国文学专业，并
天主教萨凡纳教区天主教萨凡纳教区（拉丁语：Diocesis Savannah；英语：Roman Catholic Diocese of Savannah）是美国一个罗马天主教教区。教区管辖佐治亚州东南部九十个县，教座位于东部萨凡纳。教区有
罗照辉罗照辉（1962年2月－），湖北人，中华人民共和国政治人物、外交官。华中师范大学历史系毕业，硕士研究生。其妻江亦丽也是中国外交官。两人育有一女。1985-1989年，任中华人民共和国外交部