Turing tarpit

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

Un tarpit Turing (sau tar-tar Turing ) este un limbaj de programare sau o interfață care, în principiu, oferă un potențial amplu în ceea ce privește funcționalitatea, dar în practică nu oferă suport practic pentru îndeplinirea sarcinilor comune. [1] Această expresie a fost introdusă în 1982 de Alan Perlis în Epigrams on Programming : [2]

"54. Feriți-vă de groapa de gudron Turing în care totul este posibil, dar nimic de interes nu este ușor. "

Orice limbaj Turing echivalent poate implementa orice program calculabil de o mașină Turing , deci în teorie toate aceste limbaje (care includ practic toate limbile de utilizare practică) au potențialul de a rezolva aceleași probleme din această categorie. Cu toate acestea, acest lucru nu înseamnă că practic toate limbile sunt convenabile de utilizat în același mod, iar tarpiturile Turing se caracterizează prin faptul că oferă o mașină abstractă foarte simplă, delegând programatorului gestionarea multor detalii necesare pentru rezolvarea unei probleme. [3]

Unele limbaje ezoterice de programare , de exemplu Brainfuck , sunt etichetate în mod obișnuit ca tarpit Turing [4] deoarece implementează în mod deliberat doar funcționalitățile minime pentru a le face echivalente Turing. Astfel de limbi sunt utilizate în principal în scopuri recreative. [5]

Notă

  1. ^ Turing Tarpit . C2.com , 10 martie 2010. Accesat la 7 noiembrie 2012 .
  2. ^ A Perlis, Epigrams on Programming , în ACM SIGPLAN Notices , vol. 17, n. 9, Universitatea Yale, septembrie 1982, pp. 7-13, DOI : 10.1145 / 947955.1083808 . Arhivat din original la 26 martie 1996. Accesat la 28 august 2015 .
  3. ^ Explorarea adâncimilor unui tarpit Turing , practicingruby.com , 7 februarie 2013 (arhivat din original la 4 februarie 2012) .
  4. ^ V Chandra, Geek Sublime: The Beauty of Code, the Code of Beauty , Graywolf Press, 2014, ISBN 978-1-55597-326-1 . Adus la 28 august 2015 .
  5. ^ Subiecte ezoterice în programarea computerelor , Cat's Eye Technologies, Canada.

Bibliografie

Elemente conexe

Informatică Portal IT : accesați intrările Wikipedia care se ocupă cu IT