图灵焦油坑

✍ dations ◷ 2025-05-19 17:05:54 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 农业农业是美国的主要工业,同时美国也是一个粮食净出口国。根据2007年农业普查,美国有220万个农场,占地面积373万平方公里(9亿2200万英亩),平均每个农场占地169公顷(418英亩)。虽然每个
  • 托贾克原野托贾克原野(Togiak Wilderness)是一个受美国联邦指定保护的原野区域,范围包括阿拉斯加州西南部的迪灵汉与贝塞尔两个人口普查区共约2,274,066英亩(9,202.82 km2)的土地。它占据了
  • 尤里·加加林国外奖励:尤里·阿列克谢耶维奇·加加林(俄语:Юрий Алексеевич Гагарин,1934年3月9日-1968年3月27日),苏联航天员,苏联红军上校飞行员,是首个进入太空的人类。1
  • 莱因德数学纸草书莱因德数学纸草书(又译作林德数学手卷;Rhind Mathematical Papyrus),也称阿姆士(Ahmose)纸草书,或者大英博物馆10057和10058号纸草书,是古埃及第二中间期时代(约前1650年)由僧侣阿姆士
  • 桑迪·丹尼斯桑迪·丹尼斯(英语:Sandy Dennis,1937年4月27日-1992年3月2日)是美国演员,曾赢得奥斯卡最佳女配角奖。桑迪·丹尼斯出生于黑斯廷斯 (内布拉斯加州)她有一个兄弟法兰克。
  • 马克·弗郎索瓦马克·弗郎索瓦(Mark Francois,1965年8月24日-)是一位英格兰政治人物,他的党籍是保守党。自2010年开始,他担任瑞利和威克福德选区选出的英国下议院议员。在踏入政坛之前他曾在莱斯
  • 博启图博启图(1785年-1834年),富察氏,满洲镶黄旗人,清朝政治人物、清朝工部尚书。曾任理藩院尚书。道光十三年五月丁酉,接替穆彰阿,担任清朝工部尚书,后去世。由宗室耆英接任。【注1】 指配
  • 黔江地区黔江地区是四川省已撤销的地区(地级行政区),位于四川省东部,今属重庆市,行署距离重庆主城区425公里,是川东唯一的一个少数民族自治县为主的地区。总人口100万人。民族有汉族、土家
  • 佩埃尔坎卡拉奈佩埃尔坎卡拉奈(Peerkankaranai),是印度泰米尔纳德邦Kancheepuram县的一个城镇。总人口17521(2001年)。该地2001年总人口17521人,其中男性8835人,女性8686人;0—6岁人口1758人,其中男
  • 成如璆成如璆(?-8世纪),唐朝将领。唐玄宗天宝十三载(754年)三月,陇右节度使哥舒翰为其部将论功,敕时任临洮太守成如璆加云麾将军。七月,哥舒翰奏于所开九曲之地置洮阳、浇河二郡及神策军,以成