Definition av Turing Machine

När världen var på väg mot en ny global förbränning på 1930-talet, vetenskapen om datoranvändning Det gick också framåt, styrt i många fall av förberedelserna för krigsansträngningen som vissa redan förväntat skulle komma.

Det är i detta sammanhang som den brittiska matematikern Alan Turing (a posteriori anses vara en av fäderna till datoranvändning modern) utvecklar sitt arbete och posterar 1936 vad som kommer att ligga till grund för dator modern.

Samtalet Turing maskin Det är en teoretisk enhet som kan behandla data enligt givna regler.

Både reglerna och uppgifterna är separata; faktiskt trodde Turing att reglerna skulle lagras på någon form av fast medium, medan data skulle lagras på band som samma maskin kunde ändra enligt tabellen för regler.

Vi ser tydligt i denna konceptuella modell ett framsteg för vad moderna datorer kommer att vara: även om man har en nivå av Användarnamn enkelt, kan du lätt se skillnaden mellan app "Immutable" (med nyanser, men i det här fallet ska vi ta det på det sättet) och data, som kan ändras enligt reglerna, vilket skulle vara

Även om den teoretiska Turing-maskinen är väldigt enkel, utför den bara mycket grundläggande operationer som tillståndsförändring, läsning och skrivning kan den utföra alla matematiska beräkningar som en mekanisk dator kan utföra med hjälp av en algoritm.

Med andra ord, om ett problem kan uttryckas genom ett algoritm Skriftligt kan det bearbetas - åtminstone på teoretisk nivå - av en Turing-maskin.

Alan Turing tänkte det som en övning för att visa att det fanns matematiska problem som datorer inte kunde lösa.

Databanden, som Turing uppfattade som oändlig, kan flyttas av maskinen från höger till vänster och från vänster till höger, som en gammal kassett eller filmtejp som kan spolas eller avanceras till diskretion.

Regeluppsättningen kan också förstås som ett programmeringsspråk, eftersom det måste ha en syntax logik och konsekvent.

I efterhand har andra matematiker gjort mer sofistikerade versioner av Turing Machine.

Således finns det maskiner med två band, determinister eller till och med en kvant Turing-maskin som kan hjälp, liksom dess berömda förfader, lade grunden till den efterlängtade beräkningen kvant.

Foto Fotolia: Chrisdorney / Steve Simmons