Počítač: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
d Verzia používateľa 85.216.195.221 (diskusia) bola vrátená, bola obnovená verzia od OJJ
Značka: rollback
Značka: školská IP
Riadok 110:
 
==== Všeobecné počítače ====
Z definície, všeobecný počítačkokos môže riešiť akýkoľvek algoritmizovateľný problém vyjadriteľný v rámci praktických obmedzení určených kapacitou pamäte, veľkosťou programu, rýchlosťou vykonania programu a spoľahlivosti stroja. [[Alan Turing]] v roku [[1934]] dokázal, že všeobecný počítač po zadaní správneho programu môže [[emulácia|emulovať]] správanie akéhokoľvek iného všeobecného počítača. Tento [[matematický dôkaz]] bol čisto teoretický, keďže v tej dobe neexistoval žiaden všeobecný počítač. Dôsledky dôkazu sú však zásadného charakteru; napríklad ktorýkoľvek súčasný všeobecný počítač by bol schopný emulovať, hoci pomaly, akýkoľvek všeobecný počítač, ktorý môžeme skonštruovať v budúcnosti.
 
Počítače so schopnosťami všeobecného počítača sa nazývajú [[turingova úplnosť|turingovo úplné]] a tento stav sa používa ako prahová možnosť schopností súčasného počítača. Definícia je však problematická. Pre niekoľko počítacích strojov triviálnej konštrukcie bola dokázaná turingova úplnosť. [[Počítač Z3]], ktorý vyvinul v roku [[1941]] [[Konrad Zuse]] bol prvým počítačom, ktorému bola dokázaná turingova úplnosť (v roku [[1998]]). Hoci je Z3 a iné rané zariadenia sú turingovo úplné, sú ako počítače nepraktické. Spadajú do oblasti, ktorá sa žartom prezýva Turingova dechtová diera<ref>{{Citácia elektronického dokumentu