圖靈焦油坑(英語:Turing tarpit)是指功能過於靈活而難以學習和使用的程序設計語言計算機接口[1] 1982年艾倫·佩利在《編程警句英語Epigrams on Programming》中發明了這一術語:[2]

54. 留心圖靈焦油坑,在其中任何事情都是可能的但沒有什麼有趣的事是容易的。

凡是圖靈完備的語言都可以寫任意程序,因此不嚴格地來說各種程式語言是等價的。但理論上的能力在實踐中的實用性往往並不相同。圖靈焦油坑是指一個非常簡單的抽象機,實現中的各種細節都要求用戶自行處理。[3]它的另一個極端是幾乎不需要人為干涉就能執行所有任務的接口,但一旦需求輕微改變就需要調整原始碼。

Brainfuck這樣深奧的程式語言就被稱為圖靈焦油坑[4]。它們雖然是圖靈完備語言,但故意只實現最少的功能。使用這些語言是一種娛樂數學:設計最簡單的基本程序都極為困難,但數學上圖靈等價的語言。[5]

參見

編輯

參考文獻

編輯
  1. ^ Turing Tarpit. c2.com. 10 March 2010 [7 November 2012]. (原始內容存檔於2013-01-20). 
  2. ^ Perlis, A. Epigrams on Programming. ACM SIGPLAN Notices (Yale University). September 1982, 17 (9): 7–13 [28 August 2015]. doi:10.1145/947955.1083808. (原始內容存檔於2015-03-22). 
  3. ^ Exploring the depths of a Turing tarpit. practicingruby.com. 7 February 2013 [2019-05-27]. (原始內容存檔於2012-02-04). 
  4. ^ Chandra, V. Geek Sublime: The Beauty of Code, the Code of Beauty. Graywolf Press. 2014 [28 August 2015]. ISBN 9781555973261. (原始內容存檔於2017-01-13). 
  5. ^ Esoteric Topics in Computer Programming, Cat's Eye Technologies, Canada. ("They present the programmer with the challenge, intrigue, and entertainment of looking at known algorithms and concepts in a whole new light.")

進一步閱讀

編輯