Makîneya Turing modelek teorîkî ya hesabkirinê ye ku ji hêla Alan Turing ve di sala 1936-an de hate destnîşan kirin. Ew ji kasetek bêsînor dirêj ku di nav şaneyan de hatî dabeş kirin, serê xwendin/nivîsandinê ku dikare li ser kasêtê bigere û yekîneyek kontrolê ya ku tevgera makîneyê diyar dike pêk tê. . Kaset di destpêkê de vala ye, û têketina makîneyê li ser kasetek ketina cihê tê peyda kirin. Berhema jimartinê li ser kasetek derketinê tê nivîsandin.
Ji bo hesabkirina fonksiyonek, makîneyek Turing komek rêwerzan bi navê bername dişopîne. Bername diyar dike ka makîne divê çawa li gorî rewşa xweya heyî û sembola ku ji kasêtê dixwîne tevbigere. Makîne di rewşek destpêkê de dest pê dike, û ew çend caran gavên jêrîn pêk tîne:
1. Bixwîne: Makîne sembola niha di bin serê xwendin/nivîsandinê de dixwîne.
2. Pêvajo: Li ser bingeha rewşa heyî û nîşana xwendinê, makîne rewşa din û nîşana ku li ser kasêtê binivîse destnîşan dike.
3. Tevger: Makîne serê xwendin/nivîsandinê yek şaneyê ber bi çep an rastê ve digerîne.
4. Dubare: Makîne vedigere gava 1 û berdewam dike heta ku digihîje rewşa rawestanê.
Rola kasêta têketinê ew e ku têketinê ji hesabkirinê re peyda bike. Kasêta têketinê di destpêkê de bi sembolên têketinê ve tê tije kirin, ku di dema hesabkirinê de ji hêla makîneyê ve têne xwendin. Kasêta têketinê tenê-xwendin e, tê vê wateyê ku makîne nikare naveroka xwe biguhezîne.
Rola kasêta derketinê ew e ku hilbera hejmartinê hilîne. Gava ku makîne sembolên têketinê dişoxilîne, ew dikare li ser kasêta derketinê sembolan binivîsîne da ku hilbera xwestî hilberîne. Kasêta derketinê tenê nivîsandinê ye, tê vê wateyê ku makîne tenê dikare jê re binivîse û nikare naveroka wê bixwîne.
Kapasîteya makîneya Turing ya ji bo hesabkirina fonksiyonan li ser şiyana wê ya manîpulekirina sembolên li ser kasêtê li gorî komek rêgezan ve girêdayî ye. Van qaîdeyan destûrê didin makîneyê ku operasyonên jimareyî, operasyonên mentiqî û hesabên din pêk bîne. Bi şopandina van qaîdeyan, makîneyek Turing dikare her hesabek algorîtmîkî simule bike.
Mînakî, makîneyek Turing ku berhevoka du hejmaran dihejmêre. Kaseta têketinê dê du jimaran bihewîne, bi nîşanek taybetî veqetandî. Makîne dê sembolên têketinê bixwîne, operasyona zêdekirinê pêk bîne, û encamê li ser kasêta derketinê binivîse.
Makîneyek Turing fonksiyonek bi şopandina komek rêwerzên ku ji hêla bernameyê ve hatine destnîşan kirin hesab dike. Kasêta têketinê têketina hesabkirinê peyda dike, û kaseta derketinê jî derana hejmartinê hildide. Makîne sembolên li ser kasêtê manîpule dike da ku hesaban pêk bîne, dihêle ku ew hesabek algorîtmîkî simule bike.
Pirs û bersivên din ên vê dawiyê di derbarê Fonksiyonên kêrhatî:
- Wateya guhertoyên cihêreng ên Makîneyên Turing di kapasîteya hesabkirinê de tê çi wateyê?
- Têkiliya di navbera fonksiyonek hesabker û hebûna makîneya Turing a ku dikare wê hesab bike vebêje.
- Wateya makîneya Turingê ya ku her dem dema ku fonksiyonek hesabker hesab dike disekine çi ye?
- Ma makîneyek Turing dikare were guheztin da ku her gav fonksiyonek qebûl bike? Vebêjin çima an çima na.
- Di çarçoveya teoriya tevliheviya hesabkerî de fonksiyonek hesabker çi ye û ew çawa tête diyar kirin?