Definicija Turingova stroja
Miscelanea / / July 04, 2021
Napisao Guillem Alsina González, u studenom 2018
Kada je svijet krenuo prema novom globalnom požaru, 1930-ih, znanost o računarstvo Također je napredovala, vođena u mnogim slučajevima pripremom za ratne napore za koje su neki već očekivali da će stići.
U tom je kontekstu britanski matematičar Alan Turing (posteriori koji se smatra jednim od očeva računarstvo moderni) razvija svoje djelo i 1936. postulira što će biti temelji Računalo moderna.
Poziv Turingov stroj To je teoretski uređaj sposoban za obradu podataka prema zadanim pravilima.
I pravila i podaci su odvojeni; zapravo je Turing zamišljao da će pravila biti pohranjena na nekoj vrsti fiksnog medija, dok podaci bi bili pohranjeni na vrpcama koje bi isti stroj mogao modificirati prema tablici pravila.
U ovom konceptualnom modelu jasno vidimo napredak onoga što će biti moderna računala: čak i ako neko ima razinu Korisničko ime jednostavno, lako možete uočiti razliku između app "Nepromjenjivi" (s nijansama, ali u ovom slučaju uzmimo tako) i podaci koji se mogu mijenjati slijedeći pravila koja bi bila programiranje.
Iako je teoretski Turingov stroj strahovito jednostavan, izvodi samo vrlo osnovne operacije poput promjene stanja, čitanje i pisanje, sposobno je izvršiti sve matematičke proračune koje mehaničko računalo može izvesti pomoću a algoritam.
Drugim riječima, ako se problem može izraziti pomoću a algoritam U pisanom obliku, mogao bi ga Turingov stroj obraditi - barem na teoretskoj razini.
Alan Turing zamislio je to kao vježbu kojom pokazuje da postoje matematički problemi koje računala ne mogu riješiti.
Traku s podacima, koju je Turing zamislio kao beskonačnu, stroj može pomicati zdesna nalijevo i slijeva udesno, poput stare kasete ili filmske vrpce na koju se može premotati ili unaprijed diskrecija.
Skup pravila također se može shvatiti kao programski jezik, jer mora imati sintaksu logika i dosljedan.
Osvrćući se unatrag, drugi su matematičari napravili sofisticiranije verzije Turingova stroja.
Dakle, postoje strojevi s dva opsega, deterministi ili čak kvantni Turingov stroj koji to mogu pomoć, kao i njezin slavni predak, postavila je temelje dugo očekivanog računanja kvantni.
Photo Fotolia: Chrisdorney / Steve Simmons
Teme u Turingovom stroju