Turingas mašīnas definīcija

Kad pasaule virzījās uz jaunu globālu iesākumu, 1930. gados zinātne par skaitļošana Tas arī virzījās uz priekšu, daudzos gadījumos vadoties pēc gatavošanās kara darbībai, ko ieradīs daži jau paredzētie.

Šajā kontekstā britu matemātiķis Alans Tūrings (a posteriori tiek uzskatīts par vienu no Tēva tēviem) skaitļošana mūsdienīgs) attīsta savu darbu un 1936. gadā postulē, kas būs tā pamats dators moderns.

Zvans Tjūringa mašīna Tā ir teorētiska ierīce, kas spēj apstrādāt datus saskaņā ar dotajiem noteikumiem.

Gan noteikumi, gan dati ir atsevišķi; Patiesībā Tjūrings iedomājās, ka noteikumi tiks glabāti kaut kādā fiksētā datu nesējā, dati tiktu glabāti lentēs, kuras tā pati mašīna varētu modificēt atbilstoši tabulai noteikumiem.

Šajā konceptuālajā modelī mēs skaidri redzam, kas būs mūsdienu datori: pat ja tam ir līmenis Lietotājvārds vienkārši, jūs varat viegli redzēt atšķirību starp lietotne "Nemainīgs" (ar niansēm, bet šajā gadījumā pieņemsim to tā) un dati, kurus var mainīt, ievērojot noteikumus, kas būtu programmēšana.

Kaut arī teorētiskā Tīringera mašīna ir šausmīgi vienkārša, veicot tikai ļoti pamata darbības, piemēram, stāvokļa maiņu, lasot un rakstot, tā spēj veikt visus matemātiskos aprēķinus, ko mehāniskais dators var veikt, izmantojot a algoritms.

Citiem vārdiem sakot, ja problēmu var izteikt, izmantojot a algoritms Rakstiski to varēja apstrādāt - vismaz teorētiskā līmenī - Turinga mašīna.

Alans Torings to uztvēra kā vingrinājumu, lai parādītu, ka pastāv matemātiskas problēmas, kuras datori nespēj atrisināt.

Datu lenti, kuru Turing iecerēja kā bezgalīgu, mašīna var pārvietot no labās uz kreiso pusi un no kreisās uz labo pusi, piemēram, vecu kaseti vai plēves lenti, kuru var pārtīt vai virzīt uz priekšu ieskatiem.

Noteikumu kopumu var saprast arī kā programmēšanas valodu, jo tam ir jābūt sintaksei loģika un konsekventi.

Pārskatot, citi matemātiķi ir izstrādājuši sarežģītākas Turingas mašīnas versijas.

Tādējādi ir mašīnas ar divām joslām, deterministi vai pat kvantu Turinga mašīna, kas to var palīdzība, tāpat kā tās izcilais sencis, lika pamatus ilgi gaidītajai skaitļošanai kvants.

Foto Fotolia: Chrisdorney / Steve Simmons