„Turing-gép” változatai közötti eltérés
| [ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
aNincs szerkesztési összefoglaló |
|||
1. sor:
[[Fájl:Entscheidungsproblem.png|350px|bélyegkép|jobbra|''Entscheidungsproblem'' azaz eldönthetőségi probléma<ref>[http://www.philocomp.net/home/hilbert.htm Hilbert, Gödel, and Turing]</ref> lehetséges-e általános algoritmust adni a matematikai problémák megoldására, vagy egyáltalán létezhet-e elvileg ilyen algoritmus?]]
[[Fájl:Maquina.png|350px|bélyegkép|jobbra|Egy Turing-gép művészi ábrázolása. A Turing-gép egy absztrakt automata, ami egy végtelen nagy tárolókapacitással rendelkező, bármilyen hosszú ideig futni tudó »célszámítógép« , mellyel egyetlen egy beépített program hajtható végre<ref>[http://mathworld.wolfram.com/TuringMachine.html Turing Machine]</ref>]]▼
A '''Turing-gép''' fogalmát [[Alan Turing]] [[angolok|angol]] [[matematikus]] dolgozta ki az [[1936]]-ban megjelent ''On Computable Numbers, with an Application to the Entscheidungsproblem'' című [[Turing-gép#Történelem|cikkében]]<ref>[http://history-computer.com/Library/turing_Oncomputablenumbers.pdf On Computable Numbers, with an Application to the Entscheidungsproblem]</ref><ref>[http://www.turingarchive.org/browse.php/B/12 Extract, 'On computable numbers, with an application to the Entscheidungsproblem' from Proceedings of the London Mathematical Society, (Ser. 2, Vol. 42, 1937)]</ref> a matematikai számítási [[Függvény (programozás)|eljárás]]ok, [[algoritmus]]ok precíz leírására, tágabb értelemben pedig mindenfajta „gépies” problémamegoldó folyamat, például az akkoriban még nem létező [[számítógép]]ek működésének modellezésére. Erre az időszakra, a [[második világháború]] környékére tehető az ilyesfajta, a számítási eljárásokat azok különféle modelljein keresztül vizsgáló kutatások fellendülése, melyek végül a valódi [[számítógép]]ek építésébe torkollottak (Turing maga is részt vett egy valódi gép, a [[Colossus (számítógép)|Colossus]] megépítésében).
7. sor:
== A fogalom értelmezései, modelljei ==
▲[[Fájl:Maquina.png|350px|bélyegkép|jobbra|Egy Turing-gép művészi ábrázolása. A Turing-gép egy absztrakt automata, ami egy végtelen nagy tárolókapacitással rendelkező, bármilyen hosszú ideig futni tudó »célszámítógép« , mellyel egyetlen egy beépített program hajtható végre<ref>[http://mathworld.wolfram.com/TuringMachine.html Turing Machine]</ref>]]
Ha elfogadjuk igaznak azt a kijelentést, hogy a Turing-gép nem más, mint az egyszerű számítógépek modellje, a ''Turing-gép'' kifejezésen még mindig két különféle, bár szorosan összetartozó dolgot is érthetünk, és általában szokás az is, hogy a kifejezésbe mindkét értelmet egyszerre belelássuk (de ez nem szükséges és nem is minden szerző teszi):
* [[Turing-gép#A klasszikus Turing-gép informatikai modellje|A nem formális – informatikai modell]]: A Turing-gép jelentheti az egyszerű számítógépek [[informatika]]i [[Modell (tudomány)|modelljét]]. Ebben a felfogásban a Turing-gépet olyan fizikailag is megvalósítható egyszerű automata formájában szokás interpretálni, mely három, fizikailag létező tárgyként elképzelt, ''[[hardver]]''es egységből áll: a szalag'''tár'''ból (memória és input-output-perifériák), a '''vezérlőegység'''ből ([[CPU]]) és az író-olvasó fejből ([[buszrendszer]]). Itt látszik, hogy a Turing-gép mennyire hasonlít a számítógépek felépítéséhez.
| |||