Definiția Turing Machine

Când lumea se îndrepta spre o nouă conflagrație globală, în anii 1930, știința tehnica de calcul De asemenea, înainta, ghidat în multe cazuri de pregătirea pentru efortul de război pe care unii deja anticipați aveau să sosească.

În acest context, matematicianul britanic Alan Turing (a posteriori considerat unul dintre părinții tehnica de calcul modern) își dezvoltă opera și, în 1936, postulează care vor fi bazele calculator modern.

Apelul Mașină Turing Este un dispozitiv teoretic capabil să proceseze date în conformitate cu regulile date.

Atât regulile, cât și datele sunt separate; de fapt, Turing și-a imaginat că regulile vor fi stocate pe un fel de mediu fix, în timp ce datele vor fi stocate pe benzi pe care aceeași mașină le-ar putea modifica în conformitate cu tabelul din reguli.

Vedem în mod clar în acest model conceptual un avans al ceea ce vor fi computerele moderne: chiar dacă unul are un nivel de Nume de utilizator simplu, puteți vedea cu ușurință distincția dintre

aplicație „Imuabil” (cu nuanțe, dar în acest caz să o luăm așa) și datele, care pot fi modificate în conformitate cu regulile, care ar fi programare.

Deși mașina teoretică Turing este teribil de simplă, efectuând doar operații foarte de bază, cum ar fi schimbarea de stare, citind și scriind, este capabil să efectueze toate calculele matematice pe care le poate efectua un computer mecanic folosind un algoritm.

Cu alte cuvinte, dacă o problemă ar putea fi exprimată printr-un algoritm În scris, ar putea fi procesat - cel puțin la nivel teoretic - de o mașină Turing.

Alan Turing a conceput-o ca pe un exercițiu pentru a arăta că există probleme matematice pe care computerele nu le-au putut rezolva.

Banda de date, pe care Turing a conceput-o ca infinită, poate fi mutată de mașină de la dreapta la stânga și de la stânga la dreapta, ca o casetă veche sau o bandă de film care poate fi înfășurată sau avansată discretie.

Setul de reguli poate fi, de asemenea, înțeles ca un limbaj de programare, deoarece trebuie să aibă o sintaxă logică și consecvent.

În retrospectivă, alți matematicieni au realizat versiuni mai sofisticate ale Mașinii Turing.

Astfel, există mașini cu două benzi, deterministe sau chiar o mașină cuantică Turing care poate ajutorul, la fel ca și strămoșul său strămoș, a pus bazele mult așteptatului calcul cuantic.

Foto Fotolia: Chrisdorney / Steve Simmons

Subiecte în Turing Machine