Lekcija: Kako je Turing izumil moderni računalnik

Iz MaFiRaWiki

Povzetek

Sodobni računalniki so zasnovani na pojmu univerzalnega stroja. Leta 1936 je matematik Alan Turing dokazal, da takšni stroji obstajajo. V ta namen je najprej definiral pojem Turingovega stroja. To je matematična predstavitev preprostega realističnega računskega stroja, ki izvaja končen program, podatke pa bere in piše z bralno/pisalno glavo iz neomejenega traku. Turing je dokazal, da obstaja univerzalni Turingov stroj, ki lahko simulira vse Turingove stroje.

Pojmi

Glej tudi

Osebna orodja