Turing machin: nan orijin yo nan syans òdinatè ak kriptografik

Machin lan Turing te vin tounen yon envansyon mayifik, ki inisye epòk la nan teknoloji enfòmasyon ak antisipe achitekti a nan sistèm òdinatè modèn. Eminan matematisyen Britanik Alan Turing ak analytics nan mwens pase ven kat ane jere yo mantalman konstwi yon mekanis abstrè nan adrès youn nan pwoblèm yo fondamantal nan matematik, ki formul pi popilè Alman Pwofesè David Hilbert nan nan Creole Matematik Kongrè a ki te fèt nan 1900 nan Pari.

Turing machin pa te sèlman vin yon repons klè nan yon travay informatique espesifik, men tou, te baz la teyorik pou algoritm ak baz lojisyèl syantifik. Anplis de sa, prensip la anpil nan rezoud pwoblèm konplèks matematik pa metòd la pou konstwi divès mekanis abstrè ak konstwi algoritm egzekite pa aparèy elektwonik fòme baz la pou Aparisyon nan yon nouvo esfè nan entelektyèl aktivite - teknoloji enfòmasyon.

Se machin lan Turing ekipe ak yon kasèt enfini, divize an selil yo, chak nan yo ki gen yon senbòl sèten soti nan yon seri fini fiks. Se totalite a nan tout senbòl ki rele alfabè a nan machin nan. Youn nan siy sa a nan alfabè spesifik la kanpe deyò epi yo rele "diferans la". Machin nan Turing chanje sa ki nan selil yo pa vle di nan yon lekti espesyal ak tèt ekri k ap deplase ansanm kasèt la. Resevwa enfòmasyon ki soti nan tèt la sou sa ki nan chak selil, aparèy la tèt li deside, depann sou eta entèn li yo, ki karaktè yo ekri nan selil sa a ak ki kote pou avanse pou pi tèt la apre operasyon sa a. Nan ka sa a, eta a entèn (memwa) nan machin nan, karakterize pa yon valè sèten soti nan zewo nan yon sèten maksimòm valè, tou subi yon chanjman.

Machin lan Turing se trè senp, men li pèmèt ou egzekite prèske nenpòt pwogram bati sou algoritm klè. Pou ekzekisyon nan divès kalite operasyon enfòmatik gen yon tablo espesyal nan ki règleman sèten yo ekri, ki reprezante yon seri enstriksyon inivèsèl pou machin nan. Gide pa tab sa a, ki fikse lòd la nan aksyon pou yon konbinezon de diferan eta ak senbòl, aparèy la detèmine ki operasyon enfòmatik ta dwe fèt nan chak sitiyasyon espesifik. An reyalite, machin lan Turing inivèsèl se pwototip nan premye nan òdinatè modèn.

Enjenyeu envansyon nan Alan Turing ki te itilize avèk siksè pa biwo a Britanik cryptanalytic pandan Dezyèm Gè Mondyal kraze German kòd yo sekrè. Souvan, dechifre nan mesaj sekrè nan anba dlo vasures Denitsa kouche sou tab la Churchill anvan li te moute nan Reich Chanselye a. Kontrèman ak cryptographers Alman ki te pratike yon apwòch piman entwisyon ak aplike nan kriptografi kòm yon atis, metòd Alan Turing a bay algoritmik fason pou rezoud travay ki pi konplike pou dechifre kòd sekrè, ki te tounen soti yo dwe enprenableman pi efikas.

Machin nan Turing ki pa Determinist te fè li posib krak sifle yo nan lènmi an pa sèlman nan kriptografik briyan, men tou, anplwaye òdinè nan biwo a, vire aksyon entwisyon nan sistematik, mouvman objektif nan direksyon objektif la. Done yo te jwenn avèk èd nan machin lan Turing nan pa gen okenn ti mezi ki afekte rezilta a nan batay la pou Angletè.