Tiuringo mašinos apibrėžimas

Kai trečiajame dešimtmetyje pasaulis žengė naujos pasaulinės liepsnos link, mokslas apie skaičiavimas Jis taip pat žengė į priekį, daugeliu atvejų vadovaudamasis pasirengimu karo pastangoms, kuriuos atvyks kai kurie jau numatyti.

Būtent šiame kontekste britų matematikas Alanas Turingas (a posteriori laikomas vienu iš Tėvų tėvo) skaičiavimas šiuolaikinis) plėtoja savo kūrybą ir 1936 m. postuluoja, kokie bus jos pagrindai kompiuteris modernus.

Skambutis Tiuringo mašina Tai teorinis prietaisas, galintis apdoroti duomenis pagal nurodytas taisykles.

Tiek taisyklės, tiek duomenys yra atskiri; iš tikrųjų Turingas įsivaizdavo, kad taisyklės bus saugomos tam tikroje fiksuotoje laikmenoje, o duomenys būtų saugomi juostose, kurias ta pati mašina galėtų modifikuoti pagal lentelę taisykles.

Šiame konceptualiame modelyje aiškiai matome, kokie bus šiuolaikiniai kompiuteriai: net jei jų lygis yra Vartotojo vardas paprasta, galite lengvai pamatyti skirtumą tarp

programa „Nekintamas“ (su niuansais, bet šiuo atveju paimkime tai taip) ir duomenys, kuriuos galima pakeisti laikantis taisyklių, kurios būtų programavimas.

Nors teorinė Tiuringo mašina yra siaubingai paprasta, ji atlieka tik labai pagrindines operacijas, tokias kaip būsenos pakeitimas, skaityti ir rašyti, jis gali atlikti visus matematinius skaičiavimus, kuriuos mechaninis kompiuteris gali atlikti naudodamas algoritmas.

Kitaip tariant, jei problemą galima išreikšti per a algoritmas Raštu tai galėtų apdoroti - bent jau teoriniu lygiu - Tiuringo mašina.

Alanas Turingas tai suprato kaip pratimą, parodantį, kad yra matematinių problemų, kurių kompiuteriai negali išspręsti.

Duomenų juostą, kurią Turingas suprato kaip begalinę, mašina gali perkelti iš dešinės į kairę ir iš kairės į dešinę, pavyzdžiui, seną kasetę ar juostą, kurią galima susukti arba perkelti savo nuožiūra.

Taisyklių rinkinys taip pat gali būti suprantamas kaip programavimo kalba, nes jis turi turėti sintaksę logika ir nuoseklus.

Žvelgiant atgal, kiti matematikai sukūrė sudėtingesnes Tiuringo mašinos versijas.

Taigi yra mašinos, turinčios dvi juostas, deterministai ar net kvantinė Tiuringo mašina, kuri gali pagalba, kaip ir jos garsus protėvis, padėjo ilgai lauktojo skaičiavimo pamatus kvantinė.

Nuotrauka „Fotolia“: Chrisdorney / Steve Simmons

Temos Turingo mašinoje