A Turing Machine meghatározása

Amikor a világ egy új globális gyülekezés felé tartott, az 1930-as években a számítástechnika Ez is előrehaladt, sok esetben a háborús erőfeszítések előkészületei által vezérelve, hogy néhányan már számítottak rá.

Ebben az összefüggésben Alan Turing brit matematikus (a posteriori a számítástechnika modern) fejleszti munkáját, és 1936-ban feltételezi, mi lesz az alapja számítógép modern.

A hívás Turing gép Ez egy elméleti eszköz, amely a megadott szabályok szerint képes adatok feldolgozására.

Mind a szabályok, mind az adatok külön vannak; valójában Turing azt képzelte, hogy a szabályokat valamilyen rögzített adathordozón tárolják, míg az adatokat olyan szalagokon tárolják, amelyeket ugyanaz a gép módosíthat a táblázat szerint szabályok.

Ebben a fogalmi modellben világosan látjuk, hogy milyen előrelépések lesznek a modern számítógépek: még akkor is, ha az egyiknek van egy szintje Felhasználónév egyszerű, könnyen láthatja a különbséget a kb "Megváltoztathatatlan" (árnyalatokkal, de ebben az esetben vegyük így) és az adatok, amelyek a szabályok szerint módosíthatók, amelyek a

Bár az elméleti Turing-gép rettenetesen egyszerű, csak nagyon alapvető műveleteket végez, például az állapotváltást, a olvasni és írni, képes elvégezni az összes matematikai számítást, amelyet egy mechanikus számítógép a algoritmus.

Más szóval, ha egy probléma kifejezhető a algoritmus Írásban - legalábbis elméleti szinten - egy Turing-gép dolgozhatta fel.

Alan Turing gyakorlatként fogta fel, hogy megmutassa, vannak olyan matematikai problémák, amelyeket a számítógépek nem tudnak megoldani.

A Turing által végtelennek fogant adatszalagot a gép jobbról balra mozgathatja és balról jobbra, mint egy régi kazetta vagy filmszalag, amelyet visszatekerhetünk vagy előre lehet haladni belátása.

A szabálykészlet programozási nyelvként is felfogható, mivel szintaxissal kell rendelkeznie logika és következetes.

Utólag más matematikusok a Turing-gép kifinomultabb verzióit készítették el.

Így vannak két sávos gépek, deterministák, vagy akár egy kvantum-Turing-gép is, amely képes a segítség, csakúgy, mint jeles őse, megalapozta a várva várt számítást kvantum.

Fotó Fotolia: Chrisdorney / Steve Simmons