Turing-gép, számítógép Planet

1936-ban Alan Turing absztrakt sokoldalú előadó azt javasolták, hogy tisztázza a algoritmus. Absztrakció, hogy ez egy logikus számítástechnikai struktúra, nem igazi számítástechnikai gépet. Az „univerzális művész” azt mondja, hogy a művész képes szimulálni bármilyen más előadóművész. Például műveletek végre a tényleges számítógépek képes szimulálni az univerzális művész. Következésképpen Turing kitalált számítógépes tervezés kapta a Turing-gép.
Ezen kívül azt feltételezzük, hogy a sokoldalú előadó képesnek kell lennie annak bizonyítására, hogy vagy hiányát algoritmus egy adott feladatot.

Mi a Turing-gép?

Turing-gép áll egy végtelenített szalag mindkét irányban, osztva sejtekbe, és az automata (fej), amely vezérli egy programot.
Program a Turing-gép rögzíti a táblázat formájában, ahol az első oszlop és sor tartalmazza az ábécé betűit és külső lehetséges belső állapotú gép (belső ábécé). A tartalom a táblázatban egy parancs, hogy a Turing-gép. A levél, amely beolvassa a fejét a sejtben (amely felett ez abban a pillanatban), és a belső állapot, a fej melyik parancs végrehajtását. Command karakter metszete által meghatározott, a külső és belső ábécé a táblázatban.

Ahhoz, hogy meghatározunk egy bizonyos Turing-gép, arra van szükség, hogy leírja a következő elemeket is:

  • Külső ábécé. A véges halmaz (például A), amelynek elemeit az úgynevezett betűk (karakter). Az egyik a betűk az ábécé (például, a0) kell egy null karakter.
  • Belső ábécé. A véges halmaza fej (gép). Az egyik az államok (például Q1) kell lennie a kezdeti (kiindulási program). Egy másik állam (q0) kell lennie véges (végső program) - shutdown állapotba.
  • átmenet táblázatot. Leírása a viselkedését a készülék (fej) állapotától függően és tartják egy szimbólum.

Gép Turing-gép a munkájuk során, akkor hajtsa végre a következő lépéseket:

  • Rögzítése a külső szimbólum ábécé a sejtbe (beleértve a vakpróbát is) volt azt helyettesítő (beleértve a vakpróbát is).
  • Mozgatni az egyik cellából a balra vagy jobbra.
  • Megváltoztatni a belső állapotát.

Az egyik csapat egy Turing-gép csak egy adott kombináció a három összetevőből áll: egy jelzés, amit a karakter írt a cella (amely felett van automatikus), ami mozog, milyen állapotban mozogni. Bár a csapat nem tartalmazza az összes komponens (például, hogy nem változik a karakter, ami nem mozog, vagy nem változik a belső állapot).

Egy példa a munkáját a Turing-gép

Tegyük fel, hogy a szalagon van szó, amely karakterek #, $ 1 és 0 Úgy kell cserélnie az összes karakter a # és $ nullára. Abban az időben kezdődött a feje fölött az első betű, a szó, hogy a bal oldalon. Program ér véget, amikor a fej fölött van a null karakter után a jobb szélső betűket a szó.
Megjegyzés: A szó hosszát és sorrendjét karakterek nem számítanak. Az ábra egy példát mutat több parancs az adott egyedi esetben. Ha a szalag egy másik szót, és a parancsokat más lesz. Ennek ellenére a program egy Turing-gép (a képen - a táblázatban a bal oldalon) alkalmazható bármely szót leírni a külső ábécé (megfigyelt tulajdonsága alkalmazhatóságát az összes azonos típusú problémák - tömeg).

Akkor bonyolítja a programot. Tegyük fel, hogy feje nem feltétlenül az első és minden szó karakter. Akkor ez a program egy Turing-gép is olyan (és lenne egy):

Itt a fej balra mozdult, amíg ez meghaladja a null karaktert. Ezt követően, a gép megy az állam q2 (akinek parancsok ugyanazok a csapatok q1 előző program).

A felhasznált képek a cikk

Kapcsolódó cikkek