Definícia Turingovho stroja

Keď svet v 30-tych rokoch smeroval k novému globálnemu požiaru, veda o výpočtový Rovnako napredovala a v mnohých prípadoch sa riadila prípravou na vojnové úsilie, ktorá by už mala predpokladať.

V tejto súvislosti britský matematik Alan Turing (a posteriori považovaný za jedného z otcov matematiky) výpočtový modern) rozvíja svoju prácu a v roku 1936 predpokladá, čo bude základom počítač moderný.

Hovor Turingov stroj Je to teoretické zariadenie schopné spracovávať údaje podľa daných pravidiel.

Pravidlá aj údaje sú samostatné; Turing si v skutočnosti predstavoval, že pravidlá budú uložené na akomsi pevnom médiu, zatiaľ čo údaje by sa ukladali na pásky, ktoré ten istý stroj mohol upravovať podľa tabuľky pravidlá.

V tomto koncepčnom modeli jasne vidíme pokrok v tom, čo budú moderné počítače: aj keď má človek úroveň Užívateľské meno jednoduché, môžete ľahko vidieť rozdiel medzi aplikácia „Nemenné“ (s nuansami, ale v tomto prípade to berme tak) a údaje, ktoré je možné podľa pravidiel zmeniť, čo by bolo programovanie.

Aj keď je teoretický Turingov stroj strašne jednoduchý, vykonáva iba veľmi základné operácie, ako je zmena stavu, čítaním a zápisom je schopný vykonávať všetky matematické výpočty, ktoré môže mechanický počítač vykonať pomocou a algoritmus.

Inými slovami, ak by bolo možné problém vyjadriť prostredníctvom a algoritmus Písomne ​​by to mohlo - aspoň v teoretickej rovine - spracovať Turingov stroj.

Alan Turing to poňal ako cvičenie, aby ukázal, že existujú matematické problémy, ktoré počítače nedokážu vyriešiť.

Dátovú pásku, ktorú Turing pojal ako nekonečnú, môže stroj posúvať sprava doľava a zľava doprava ako stará kazeta alebo filmová páska, ktorú je možné previnúť alebo posunúť ďalej diskrétnosť.

Množinu pravidiel možno chápať aj ako programovací jazyk, pretože musí mať syntax logika a dôsledné.

S odstupom času iní matematici vytvorili sofistikovanejšie verzie Turingovho stroja.

Existujú teda stroje s dvoma pásmami, deterministami alebo dokonca kvantový Turingov stroj, ktorý to dokáže pomoc, rovnako ako jej slávny predok, položil základy dlho očakávaného výpočtu kvantová.

Foto Fotolia: Chrisdorney / Steve Simmons