图灵焦油坑

✍ dations ◷ 2025-12-10 17:27:49 #艾伦图灵,趣味数学,计算理论

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

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

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

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

相关

  • 产业组织理论产业组织(英语:industrial organization)理论,研究市场在不完全竞争条件下的企业行为和市场构造,是微观经济学中的一个重要分支。现代产业组织理论相当程度上依靠博弈论,并主要包
  • 斯托里斯托里县(Storey County, Nevada),美国内华达州西部的一个县。面积683平方公里,根据美国2000年人口普查,共有人口3,399人。县治维吉尼亚城 (Virginia City)。成立于1861年11月25日,
  • 琳达·麦马汉琳达·玛丽·爱德华-麦克马洪(Linda Marie Edwards-McMahon)(1948年10月4日-),是世界摔角娱乐前任执行长,常常担任公司对外发言的角色,也曾参与剧情的演出。其配偶为公司现任总裁文
  • 狞猫(C. caracal)Felis caracal狞猫(学名:Caracal caracal、caracal)是一种领域性非常强的猫科动物,它们的体型中等,但是被归于小型猫科,也是所有小型猫科(注意不属于猫属)中最重、奔跑速度最快的一
  • 中国驻俄罗斯大使馆坐标:55°42′40″N 37°30′58″E / 55.711°N 37.516°E / 55.711; 37.516中华人民共和国驻俄罗斯联邦大使馆(俄语:Посольство Китайской Народно
  • 小林正树小林正树(1916年2月24日-1996年10月4日)是一位日本电影导演,出生于北海道,与黑泽明、木下惠介、市川崑并称为四骑士。就读早稻田大学文学部哲学科东洋美术专攻,曾师从会津八一。19
  • 萨曼塔·克里斯托福雷蒂萨曼塔·克里斯托福雷蒂(Samantha Cristoforetti,意大利语发音:,1977年4月26日-),生于意大利伦巴第大区米兰省米兰市,意大利太空总署、欧洲空间局宇航员,意大利空军飞行员、工程师,意
  • 孝敬宪皇后孝敬宪皇后(满语:ᡥᡳᠶᠣᠣᡧᡠᠩᡤᠠ ᡝᠩᡤᡠᠨ ᡨᡝᠮᡤᡝᡨᡠᠯᡝᡥᡝ ᡥᡡᠸᠠᠩᡥᡝᠣ,穆麟德:,太清:;1681年6月28日-1731年10月29日),中国清朝皇族女性,姓乌拉那拉氏,本名失
  • 建国里 (台中市太平区)建国里,是台湾台中市太平区所辖的里。面积0.5397平方公里、3426人。与成功里、福隆里、兴隆里、平安里、中平里相临。以民国60年代于中平村和东平村毗连处之头汴坑溪西侧泛滥
  • 覃子豪覃子豪(1912年-1963年),谱名天才,学名覃基。现代派诗人,诗歌评论家。1912年生于四川广汉县。1932年到燕京就读于中法大学。1935年东渡日本入东京中央大学,回国后曾在浙江省永嘉县政