图灵焦油坑

✍ dations ◷ 2025-11-30 01:46:57 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 亚轨道飞行亚轨道太空飞行是进入了太空,但因其飞行轨迹与大气层或地球表面相交而无法完成一周轨道飞行的太空飞行。通常亚轨道飞行是以火箭达成,但Space Gun也曾在实验中达成过。一个常
  • 国家公园国家公园是一种为保留自然而划定的区域,通常由政府所拥有,目的是保护某地不受人类发展和污染的伤害。在世界自然保护联盟保护区分类体系中位于第二类。世界上最早的国家公园为
  • 圣地亚哥-德尔埃斯特罗圣地亚哥-德尔-埃斯特罗(西班牙语:Santiago del Estero)位于阿根廷北部的杜尔塞河畔,是圣地亚哥-德尔-埃斯特罗省的首府,2001年总人口为244,733人。圣地亚哥-德尔埃斯特罗位于富
  • 1989年洛马普里塔地震1989年洛马普里塔地震(英语:1989 Loma Prieta earthquake)是1989年10月17日当地时间下午5时4分在北加利福尼亚发生的地震,震中位于圣塔克鲁兹东北面约10英哩、尼森·马克斯森林
  • 金坛话金坛话是吴语的一种,属于吴语太湖片的毗陵(常州)小片.使用人口约800万。包含常州市金坛区(金城镇以西大部分为苏北话移民区,城区为双方言区)、武进区(除沿江的圩塘、魏村、孝都、小
  • 长堂英吉长堂英吉(日语:長堂 英吉/ながどう えいきち ,1932年11月3日-2020年2月18日),日本小说家。1932年生于冲绳县那霸市。原名谢花长英。毕业于明治大学文学部。曾在佛罗里达大学研究生
  • 蚝松生菜包蚝松生菜包,又叫生菜蚝豉松,是中国广东顺德的特色小吃,主要材料是切碎炒香的蚝豉馅料以生菜包起。这道菜起源于农历新年过后,广东人的家庭中通常剩下不少吃剩的蚝豉和腊味,有顺德
  • 石立真悠子石立真悠子(ISHITATE Mayuko,1987年1月18日-),日本女子手球运动员,现为日本国家女子手球队队员。福井县出生,毕业于明伦中学校、小松市立高校及筑波大学。2010年11月,石立真悠子代表
  • 傻瓜的恋爱《傻瓜的恋爱》(韩语:호구의 연애,英语:Love Me Actually),为韩国MBC电视台于2019年推出的综艺节目,由张度练、成始璄、柳仁英、梁世炯、Lady Jane等人共同主持,节目主轴为5名“好感
  • 米切尔·朗格拉克米切尔·朗格拉克(英语:Mitchell James Langerak,1988年8月22日-)是澳大利亚的一位足球运动员,司职守门员,现时效力J联赛球队名古屋鲸鱼。