Definisjon av Turing Machine

Da verden var på vei mot en ny global brann, på 1930-tallet, vitenskapen om databehandling Det gikk også frem, styrt i mange tilfeller av forberedelsene til krigsinnsatsen som noen allerede forventet ville ankomme.

Det er i denne sammenhengen den britiske matematikeren Alan Turing (a posteriori ansett som en av fedrene til databehandling moderne) utvikler sitt arbeid og postulerer i 1936 hva som vil være grunnlaget for datamaskin moderne.

Samtalen Turing maskin Det er en teoretisk enhet som er i stand til å behandle data i henhold til gitte regler.

Både reglene og dataene er separate; faktisk forestilte Turing seg at reglene ville bli lagret på en slags fast medium, dataene ble lagret på kassetter som den samme maskinen kunne endre i henhold til tabellen regler.

Vi ser tydelig i denne konseptuelle modellen et fremskritt for hva moderne datamaskiner vil være: selv om man har et nivå på Brukernavn enkelt, kan du enkelt se skillet mellom app "Uforanderlig" (med nyanser, men la oss i dette tilfellet ta det slik) og dataene, som kan endres i henhold til reglene, som vil være

Selv om den teoretiske Turing-maskinen er veldig enkel, utfører den bare veldig grunnleggende operasjoner som forandring av tilstand, lesing og skriving, er den i stand til å utføre alle de matematiske beregningene som en mekanisk datamaskin kan utføre ved hjelp av en algoritme.

Med andre ord, hvis et problem kunne uttrykkes gjennom en algoritme Skriftlig kunne den behandles - i det minste på et teoretisk nivå - av en Turing-maskin.

Alan Turing oppfattet det som en øvelse for å vise at det var matematiske problemer som datamaskiner ikke kunne løse.

Databåndet, som Turing ble oppfattet som uendelig, kan flyttes av maskinen fra høyre til venstre og fra venstre til høyre, som en gammel kassett eller filmbånd som kan spoles eller avanseres til diskresjon.

Regelsettet kan også forstås som et programmeringsspråk, siden det må ha en syntaks logikk og konsekvent.

I ettertid har andre matematikere laget mer sofistikerte versjoner av Turing Machine.

Dermed er det maskiner med to bånd, determinister eller til og med en kvante Turing-maskin som kan hjelp, som den berømte forfederen gjorde, la grunnlaget for den etterlengtede beregningen kvante.

Foto Fotolia: Chrisdorney / Steve Simmons