图灵焦油坑

✍ dations ◷ 2025-12-04 07:40:52 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 考古考古学(英语:archaeology或archeology,源自古希腊文:ἀρχαιολογία, archaiologia ;ἀρχαῖος,arkhaīos,“古代”;以及-λογία, -logiā,“学问”),对于过去人类
  • 排错排错,或称除错,在系统管理、电子工程和软件工程等领域有广泛应用。排错过程一般要求参与者熟悉系统的正常运作状态及近期的变更历史,并通过系统排除的方法将问题一步步简化。
  • 陪审员选任制度陪审员选任制度(jury selection),是指在实行陪审制的情况下,选择并委任陪审员的司法程序。在需要实行陪审制的诉讼程序(包括民事诉讼和刑事诉讼)中,首先需要从法院所在地的地区居民
  • span class=nowrapAcPOsub4/sub/span磷酸锕是一种无机化合物,化学式为AcPO4,有放射性。磷酸锕可由可溶性锕盐和磷酸盐作用,沉淀制得:
  • 羁縻地羁縻,《史记·司马相如传·索隐》解释说:“羁,马络头也;縻,牛蚓也”,引申为笼络控制。实行羁縻政策的地区名义上从属朝廷,实际由当地原住民首领自行统治。唐朝对西南、西北等少数民
  • 杜松山杜松丘陵(英语:Juniper Hills)是位于美国加利福尼亚州洛杉矶县的一个非建制地区。该地的面积和人口皆未知。在21世纪初,大卫·伍达德担任市长。杜松丘陵的座标为34°26′39″N 1
  • 加拿大西部加拿大西部(Western Canada)是加拿大的地理概念,通常也被称作西部省份或者直呼西部。包含安大略西部的英属哥伦比亚、阿尔伯塔、萨斯喀彻温和马尼托巴四省。西加拿大又可以根据
  • 普通图书馆学普通图书馆学是研究图书馆学基本问题和图书馆事业基础理论的分支学科。他的研究内容包括图书馆哲学、图书馆和图书馆学的性质、研究对象和研究内容、图书馆事业的性质、结构
  • 苏联计划经济苏联计划经济,即苏联的计划经济状况。苏联的工业管理体制和物资供应体制由1930年代开始确定。直至苏联解体,苏联的物资供应体制可以分为三个阶段,1957年以前的按照部门供应,1957
  • 栾文胜栾文胜(1970年-),中国作家、编剧,笔名“铸剑”,毕业于北京广播学院(现中国传媒大学)。由范伟、张歆艺、王雅捷等主演的都市情感剧《先结婚后恋爱》,2012年起在北京文艺频道、中国教育