Definition af Turing Machine

Da verden var på vej mod en ny global udbrænding i 1930'erne, videnskaben om computing Det gik også frem, styret i mange tilfælde af forberedelsen til krigsindsatsen, som nogle allerede forventede ville ankomme.

Det er i denne sammenhæng, at den britiske matematiker Alan Turing (a posteriori betragtes som en af ​​fædrene til computing moderne) udvikler sit arbejde og postulerer i 1936, hvad der vil være grundlaget for computer moderne.

Opkaldet Turing maskine det er en teoretisk enhed, der er i stand til at behandle data i henhold til givne regler.

Både reglerne og dataene er adskilte; faktisk forestillede Turing sig, at reglerne ville blive gemt på en slags fast medium, hvorimod dataene blev gemt på bånd, som den samme maskine kunne ændre i henhold til tabellen regler.

Vi ser tydeligt i denne konceptuelle model et fremskridt for, hvad moderne computere vil være: selvom man har et niveau af Brugernavn simpelt, kan du let se forskellen mellem app "Uforanderlig" (med nuancer, men i dette tilfælde lad os tage det på den måde) og dataene, som kan ændres efter reglerne, hvilket ville være

Selvom den teoretiske Turing-maskine er frygtelig enkel og kun udfører meget grundlæggende operationer som f.eks. Skift af tilstand, læsning og skrivning er den i stand til at udføre alle de matematiske beregninger, som en mekanisk computer kan udføre ved hjælp af en algoritme.

Med andre ord, hvis et problem kunne udtrykkes gennem en algoritme Skriftligt kunne det behandles - i det mindste på et teoretisk niveau - af en Turing-maskine.

Alan Turing opfattede det som en øvelse at vise, at der var matematiske problemer, som computere ikke kunne løse.

Databåndet, som Turing opfattede som uendeligt, kan flyttes af maskinen fra højre til venstre og fra venstre mod højre, som en gammel kassette eller et filmbånd, der kan spoles tilbage eller avanceres til skøn.

Regelsættet kan også forstås som et programmeringssprog, da det skal have en syntaks logik og konsekvent.

Efterfølgende har andre matematikere lavet mere sofistikerede versioner af Turing Machine.

Således er der maskiner med to bånd, determinister eller endda en kvante Turing-maskine, der kan hjælp, ligesom dets berømte forfader, lagde grundlaget for den længe ventede beregning kvante.

Foto Fotolia: Chrisdorney / Steve Simmons