Skip to main content

Hva er Turing fullstendighet?

Turing fullstendighet er når et programmeringsspråk er i stand til å utføre funksjonene til en Turing -maskin.Dette er et konsept for en veldig grunnleggende mekanisk datamaskin, noen ganger beskrevet som den enkleste maskinen som kan betraktes som en datamaskin.Praktisk talt alle programmeringsspråk som er i bruk i dag, og i teorien, datamaskinene som kjører dem, har Turing fullstendighet.

Konseptet med Turing -fullstendighet kommer fra Alan Turing, en britisk dataforsker hvis arbeid inkluderte dechiffrekodede meldinger under andre verdenskrig.Blant hans arbeid med databehandling var utviklingen av en filosofi om hva en datamaskin faktisk kunne gjøre.Dette inkluderte konseptet at datamaskiner fungerer ganske enkelt ved å kjøre algoritmer.Det vil si at de følger et fast sett med regler for å behandle data og på sin side løse problemer.Dette betyr at en datamaskin ikke tenker eller tar beslutninger som en person kan.

for å illustrere konseptetAndre kalte det senere Turing -maskinen.Maskinen skulle behandle en rullet bånd som kunne bevege seg tilbake eller fremover og inneholdt en linje med symboler.Når som helst kan maskinen behandle ett symbol og om nødvendig endre den.I forbindelse med konseptet kan båndet med bånd være uendelig lang, noe som betyr at minnet om datamaskinen ikke iboende var begrenset.Dette er en analogi for ideen om at når en datamaskin har et sett med instruksjoner å følge, er mengden data den anvendte disse instruksjonene på bare underlagt fysiske grenser. Ironisk nok har de fleste datamaskiner i dag ikke Turing fullstendighet.Dette er fordi de har begrensninger på lagringsplassen tilgjengelig og dermed dataene de kan behandle.De har også fysiske begrensninger, spesielt at de til slutt vil slites ut.Det er faktisk programmeringsspråket som har Turing -fullstendighet.På grunn av dette er en datamaskin som kjører et slikt program ikke en Turing -datamaskin, men kan brukes til å simulere en. Turing fullstendighet skal ikke forveksles med Turing -testen.Dette var et eksperiment designet av Turing for å se om datamaskiner kan snakke på naturlig språk.Prinsippet med testen er at hvis et menneske ikke kan fortelle forskjellen mellom en tekst-samtale med datamaskinen og et annet menneske, består datamaskinen testen.Mens noen datamaskiner har bestått testen når utvalget av samtaleemner er begrenset, har ingen gjort det i ubegrenset samtale.