圖靈焦油坑

圖靈焦油坑  是指功能過於靈活而難以學習和使用的程序設計語言或計算機接口 。 1982年艾倫 · 佩利在 《 》 中發明了這一術語 ： 凡是圖靈完備的語言都可以寫任意程序 ， 因此不嚴格地來說各種編程語言是等價的 。 但理論上的能力在實踐中的實用性往往並不相同 。 圖靈焦油坑是指一個非常簡單的抽象機 ， 實現中的各種細節都要求用戶自行處理 。 它的另一個極端是幾乎不需要人爲干涉就能執行所有任務的接口 ， 但一旦需求輕微改變就需要調整源代碼 。 像Brainfuck這樣深奧的編程語言就被稱爲圖靈焦油坑 。 它們雖然是圖靈完備語言 ， 但故意只實現最少的功能 。 使用這些語言是一種娛樂數學 ： 設計最簡單的基本程序都極爲困難 ， 但數學上圖靈等價的語言 。