图灵焦油坑

✍ dations ◷ 2025-12-08 02:53:29 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 戴立信戴立信(1924年11月13日-),出生于北京,祖籍江苏句容,有机化学家,中国科学院院士。戴立信于1942年考入沪江大学化学系。次年因战争影响而辍学。后进入浙江大学化学系就读,1947年毕业。
  • 金融学金融学(英语:Finance)是从经济学分化出来的应用经济学科,是以“金融”,融通货币和货币资金的经济活动为研究对象。研究公司、个人、政府与其他机构如何募集和投资资金的学科。传
  • 微笑。泪李又汝、陈谦文、方文琳、王瞳、余秉谚尔杰国际娱乐《微笑。泪》,2018年台湾电视电影,由李又汝、陈谦文、方文琳、王瞳、余秉谚领衔主演,2018年2月2日开拍,民视无线台于2018年4
  • 一线城市一线城市(First-tier City)是中国民间对城市分级体系中的最高等级城市的称谓,最初来源于房地产业。目前,普遍被公认为中国一线城市的包括首都北京、直辖市上海,以及广东省省会广
  • 遵义医学院遵义医科大学为中国贵州省遵义市的一所高等学校。1947年,大连医学院创建。1969年,迁至遵义,更名为遵义医学院。2018年,更名为遵义医科大学。遵义医科大学有16个院系,分别为基础医
  • 闵甲完闵甲完(민갑완;1897年9月16日(农历8月20日)-1968年2月19日)出身于骊兴闵氏,朝鲜王朝外戚闵泳敦的女儿。1907年,朝鲜高宗和纯献皇贵妃为皇子李垠选定闵甲完为妻。李垠被强行送往日本
  • 李祖白 (天文学家)李祖白(-1665年),中国明朝末年至清朝初年天文学家、天主教徒。早年即受教于西方传教士汤若望,供职于钦天监。明朝天启六年(1626年),李祖白协助汤若望写出《远镜说》一书,将伽利略发明
  • 储大文《清代学者象传》第二集之储大文像储大文(1665年-1743年),字六雅,号画山,江南宜兴人。清朝翰林。储大文为进士储方庆之子,生性聪颖,善古文,姜宸英见其文,叹为旷代奇才。康熙五十三年(17
  • 光明章光明章(阿拉伯语:سورة النور‎),是古兰经第24章,属于麦地那篇章。主要故事发自本章第35节,涉及真主的光明和特权。真主说于本章第35节:阿拉伯语:الله نور السم
  • 朱迪·尤尔特·夏多夫朱迪·尤尔特·夏多夫(英语:Jodi Ewart Shadoff,1988年1月7日-)是一位英国女子职业高尔夫球手,参加LPGA巡回赛和欧洲女子巡回赛(英语:Ladies European Tour)。朱迪出生于英格兰北约克