I dette blogindlæg vil vi se på principperne og koncepterne bag Turing-maskinen, som blev foreslået af Alan Turing, computernes fader, og dens indflydelse på udviklingen af computere i dag.
Computere er unikke opfindelser med ubegrænsede muligheder. De har alsidighed til at accelerere og udvide menneskelige tankeprocesser. Computere spiller en vigtig rolle i udviklingen af den moderne civilisation, idet de søger efter information på internettet, forbinder venner, sender penge til bankkonti, forudsiger kemiske reaktioner og beregner dannelsen af galakser. I dag findes de endda i mobiltelefoner og biler, hvilket gør vores verden mere bekvem på mange måder.
Den person, der foreslog det grundlæggende design af en sådan universalcomputer, var den britiske matematiker Alan Turing. Turing, kendt som computerens fader, huskes som en vigtig figur i computerhistorien for sine præstationer. Association for Computing Machinery hædrer ham ved at opkalde en årlig pris for betydelige bidrag til datalogi efter ham. Det er også velkendt, at logoet for Apple, det amerikanske firma berømt for sin smartphone-revolution, symboliserer det forgiftede æble, som Turing bed i.
Turingmaskinen spillede en nøglerolle i opfindelsen af computeren. Forståelsen af Turingmaskinen giver os mulighed for at forstå, hvordan computere, som nu er udbredt i hele samfundet, opstod. Lad os nu se nærmere på, hvad Turingmaskinen er, hvordan den fungerer, og hvordan den bidrog til udviklingen af computere.
Turingmaskinen, som Turing foreslog, er en abstrakt maskine uden fysisk form. Turingmaskinen er et koncept, som Alan Turing foreslog i processen med at bevise Gödels ufuldstændighedssætning, som siger, at "ikke alle matematiske udsagn kan bevises sande eller falske af en maskine." For at definere, hvad en mekanisk metode er, designede han en beregningsmodel bestående af simple komponenter og driftsprincipper.
Turingmaskinen består af et bånd af uendelig længde, en læse-/skriveenhed og et sæt driftsregler. Turingmaskinens betjening er enkel. Først læser læse-/skriveenheden det tegn, der aktuelt peger på på båndet. Derefter flytter læse-/skriveenheden, i henhold til driftsreglerne, et mellemrum til venstre eller højre, og et nyt tegn kan skrives over båndet. Hvis læse- og skriveenheden f.eks. peger på bogstavet A, læser den A i henhold til driftsreglerne, flytter et mellemrum til højre, sletter det bogstav, der er skrevet der, og skriver bogstavet B.
Turingmaskinens betydning ligger i, at den kan imitere alle andre lommeregnere med så simple komponenter og operationer. Turing beviste, at med tilstrækkelig tid kan enhver form for beregning udføres af en maskine, der imiterer Turingmaskinen. Turingmaskinen var den første universelle computermodel. Takket være dette var computere teoretisk garanteret at være i stand til at udføre alle slags beregninger. Desuden er Turing-formodningen om, at Turingmaskinen er den eneste universelle computermodel, endnu ikke blevet modbevist. Alle computermodeller, der er opstået hidtil, kan reduceres til Turingmaskiner. Hvis en mekanisk computermodel, der ikke kan imiteres af en Turingmaskine, kan designes, kan det være muligt at skabe en ny type computer.
Turingmaskinen adskiller sig fra tidligere primitive computere ved, at den kan udføre enhver form for logisk beregning. Tidligere primitive computere kunne kun udføre nogle få forudbestemte beregninger, såsom aritmetiske operationer og løsning af differentialligninger. I modsætning hertil har Turingmaskinen den egenskab, at den kan imitere alle andre Turingmaskiner, hvilket gør den i stand til at udføre enhver kompleks operation, som mennesker ønsker.
Indtil videre har vi lært, hvad Turingmaskinen er, hvordan den fungerer, og dens betydning i computerteori. Turingmaskinen, som var en abstrakt maskine, blev implementeret som en faktisk maskine af et andet genialt matematiker, von Neumann, og blev begyndelsen på elektroniske computere, der ændrer verden i dag. Siden da er computere blevet stadig hurtigere og mere komplekse, men det teoretiske fundament har altid været Turingmaskinen. Turings idé, som blev foreslået for at bevise Gödels ufuldstændighedssætning, blev udviklet og blev til sidst drivkraften bag informationsrevolutionen.
