Opredelitev Turingovega stroja

Ko se je svet napotil k novemu globalnemu požaru, je bila v tridesetih letih znanost o računalništvo Prav tako je napredoval, v mnogih primerih ga je vodila priprava na vojna, ki so jo nekateri že pričakovali.

V tem kontekstu je britanski matematik Alan Turing (a posteriori veljal za enega od očetov računalništvo moderni) razvija svoje delo in leta 1936 postulira, kaj bodo temelji na računalnik moderno.

Klic Turingov stroj Je teoretična naprava, ki lahko obdeluje podatke v skladu z danimi pravili.

Pravila in podatki so ločeni; pravzaprav si je Turing predstavljal, da bodo pravila shranjena na nekem fiksnem mediju, medtem ko podatki bi bili shranjeni na trakovih, ki bi jih isti stroj lahko spreminjal v skladu s tabelo pravila.

V tem konceptualnem modelu jasno vidimo napredek tega, kakšni bodo sodobni računalniki: tudi če ima nekdo nivo Uporabniško ime enostavno, lahko zlahka vidite razliko med app "Nespremenljiv" (z odtenki, vendar v tem primeru gremo tako) in podatki, ki jih je mogoče spremeniti v skladu s pravili, ki bi bila programiranje.

Čeprav je teoretični Turingov stroj strašno preprost in izvaja le zelo osnovne operacije, kot je sprememba stanja, branja in pisanja je sposoben izvesti vse matematične izračune, ki jih mehanski računalnik lahko izvede z uporabo a algoritem.

Z drugimi besedami, če bi težavo lahko izrazili z algoritem V pisni obliki bi ga - vsaj na teoretični ravni - lahko obdelal Turingov stroj.

Alan Turing si jo je zamislil kot vajo, s katero dokazuje, da obstajajo matematični problemi, ki jih računalniki ne morejo rešiti.

Podatkovni trak, ki ga je Turing zamislil kot neskončnega, lahko stroj premika od desne proti levi in od leve proti desni, kot stara kaseta ali filmski trak, ki ga je mogoče previti ali napredovati presoja.

Nabor pravil lahko razumemo tudi kot programski jezik, saj mora imeti sintakso logiko in dosledno.

V preteklosti so drugi matematiki naredili bolj dovršene različice Turingovega stroja.

Tako obstajajo stroji z dvema pasovoma, deterministi ali celo kvantni Turingov stroj, ki zmore pomoč, tako kot njen slavni prednik, postavila temelje dolgo pričakovanega računanja kvantna.

Photo Fotolia: Chrisdorney / Steve Simmons