Főmenü megnyitása

Módosítások

a
On Computable Numbers, with an Application to the Entscheidungsproblem
[[Fájl:Maquina.png|350px|bélyegkép|jobbra|Egy Turing-gép művészi ábrázolása]]
 
A '''Turing-gép''' fogalmát [[Alan Turing]] [[angolok|angol]] [[matematikus]] dolgozta ki [[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> a matematikai számítási [[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).
 
A ''Turing-gép'' úgynevezett [[absztrakt automata]]: a valóságos digitális számítógépek nagyon leegyszerűsített [[Modell (tudomány)|modellje]] (részletesebben ld. következő fejezet). További jelentőségét az ún. [[Church–Turing-tézis]] adja, amely szerint a ''Turing-gép'' egy univerzális algoritmikus modell (ld. [[#A Church-Turing-tézis|lentebb]]). Az ilyen egyszerű számítógépmodellek matematizált elméleteivel a [[matematika]] [[számítógép-tudomány]]nak nevezett eléggé fiatal tudományágának olyan részterületei foglalkoznak, mint például a [[számításelmélet]].
264

szerkesztés