Тооцооллын салбарт Тюрингийн машинуудын ач холбогдол
Өнөөгийн технологид суурилсан ертөнцөд машинуудын тухай ойлголт, хөгжил өнгөрсөн зуунд томоохон өөрчлөлтийг туулсан. Эдгээр дэвшлийн олонх нь 20-р зууны эхэн үед гайхалтай математикчийн боловсруулсан гол ойлголтоос үүдэлтэй юм. 1936 онд Алан Тюрингийн санал болгосон Тюрингийн машин нь орчин үеийн компьютер болон тооцооллын онолын хөгжлийн үндэс суурь болсон юм. Энэхүү нийтлэлд Тюрингийн машины тооцоолол дахь ач холбогдлыг тайлбарлаж, түүний түүх, ажиллах зарчим, мэдээлэл, компьютерийн технологид үзүүлэх нөлөөллийг судлах болно.
Тюрингийн машинуудын түүх
Алан Тюринг бол Дэлхийн 2-р дайны үеэр Энигма кодыг тайлахад гол үүрэг гүйцэтгэсэн математикч, логикч, криптоаналитикч байв. Гэвч дайны баатар болохоосоо өмнө Тюринг тооцооллын түүхийн чиглэлийг өөрчилсөн хувьсгалт санааг оруулсан юм. Тюринг "Тооцоолж болох тоонуудын тухай, Entscheidungsproblem-д хэрэглэх нь" нэртэй судалгааны өгүүлэлдээ одоо Тюрингийн машин гэгддэг таамаглалын машины тухай ойлголтыг танилцуулсан.
Тюрингийн машины тодорхойлолт
Тюрингийн машин нь алгоритмуудыг гүйцэтгэх боломжтой компьютерын онолын загвар юм. Энэ нь нүднүүдэд хуваагдсан урт туузнаас бүрдэх бөгөөд тус бүр нь хязгаарлагдмал цагаан толгойн тэмдэгтийг агуулдаг. Мөн уг машин нь туузны дагуу хөдөлж, тэмдэгтүүдийг уншиж, бичиж, урьдчилан тогтоосон дүрмийн дагуу ажиллах төлөвөө өөрчилдөг унших/бичих толгойтой.
Тюрингийн машины эд ангиуд
1. Соронзон хальс: Соронзон хальс нь уртаараа хязгааргүй гэж үзэж болох өгөгдөл хадгалах төхөөрөмж юм. Энэ соронзон хальс нь үндсэндээ Тюрингийн машины санах ой юм.
2. Толгойг бичих/унших: Энэ толгой нь соронзон хальсны дагуу хөдөлж, тодорхой нүдэн дэх тэмдэгтүүдийг уншиж, өгөгдсөн зааврын дагуу тэдгээр тэмдэгтүүдийг сольдог.
3. Зааврын багц: Эдгээр нь машин уншсан тэмдэгтүүд болон машины дотоод төлөв байдлаас хамааран хэрхэн ажиллахыг тодорхойлдог дүрмүүд юм. Заавар бүр нь гурван үйлдэлд хүргэдэг: шинэ тэмдэг бичих, толгойг зүүн эсвэл баруун тийш хөдөлгөх, машины төлөвийг өөрчлөх.
Энэхүү энгийн боловч хувьсгалт арга нь Тюрингт тооцооллын хүчийг хамгийн энгийн хэлбэрээр нь тайлбарлах боломжийг олгосон. Тюрингийн машин хангалттай цаг хугацаа, санах ойтой байсан ч бусад ямар ч машинтай хамт ямар ч тооцооллыг хийж чаддаг байв. Тиймээс энэ машин нь орчин үеийн компьютерийн анхдагч болсон юм.
Тооцооллын онолд үзүүлэх нөлөө
Тюрингийн машины хамгийн чухал хувь нэмрүүдийн нэг нь тооцооллын онолд, ялангуяа компьютер юуг тооцоолж чадах, юуг тооцоолж чадахгүй байгаа тал дээр оруулсан хувь нэмэр байв.
Шийдвэрлэх боломжгүй байдлын теорем
Тюринг өөрийн бүтээлдээ Тюрингийн машин зэрэг ямар ч машин шийдэж чадахгүй тодорхой асуудлууд байдгийг нотолсон. Нэг сонгодог жишээ бол компьютерийн програм зогсох уу эсвэл үүрд ажиллах уу гэдгийг тодорхойлохыг багтаасан Зогсоох Бодлого юм. Тюринг бүх боломжит програм болон оролтын хувьд энэ асуудлыг ерөнхий алгоритм шийдэж чадахгүй гэдгийг харуулсан.
Бүх нийтийн загвар
Тюрингийн машины концепц нь мөн Тюрингийн машин буюу бусад Тюрингийн машинуудыг дуурайж чаддаг Тюрингийн машины санааг бий болгосон. Энэхүү санаа нь олон төрлийн програм ажиллуулах чадвартай ерөнхий процессортой орчин үеийн компьютеруудын үндэс суурь болсон юм.
Орчин үеийн компьютерын технологид үзүүлэх нөлөө
Тюрингийн оруулсан хувь нэмэр нь зөвхөн онолын төдийгүй практик ач холбогдолтой байв. Компьютер гэж юу болох, хэрхэн ажилладаг талаарх бидний ойлголтод Тюрингийн санаанууд гүнзгий нөлөөлсөн.
Ерөнхий компьютер
Тюрингээс өмнө механик тооны машин эсвэл Бэббижийн аналитик хөдөлгүүр гэх мэт өндөр мэргэшсэн ажлуудыг гүйцэтгэх зориулалттай олон төхөөрөмжийг зохион бүтээдэг байсан. Гэсэн хэдий ч Тюригийн зарчмын тусламжтайгаар бид одоо олон төрлийн тооцоолол хийх зааварчилгаатай ерөнхий компьютертэй болсон. Энэ бол орчин үеийн компьютеруудын үндсэн зарчим бөгөөд текст боловсруулалтаас эхлээд нарийн төвөгтэй физикийн симуляци хүртэл өргөн хүрээний програмуудыг ажиллуулахаар програмчилж болох системүүд юм.
Програмчлалын хэл
Тюрингийн санаанууд програмчлалын хэлний хөгжилд нөлөөлсөн. Компьютерийн програм бүр нь үндсэндээ компьютерийг тодорхой ажлуудыг гүйцэтгэхэд чиглүүлдэг зааврын багц юм, яг л Тюрингийн машиныг зааврын багц удирддаг шиг. Python, Java, C++ зэрэг өндөр түвшний програмчлалын хэлүүд нь Тюрингийн тайлбарласан үндсэн ойлголтуудын хийсвэрлэл юм.
Хиймэл оюун
Хиймэл оюун ухааны салбарт анхдагч хүний хувьд Тюринг хиймэл оюун ухааныг хөгжүүлэх замыг нээсэн. Тюриний санал болгосон Тюриний тест нь машин хүний оюун ухааныг дуурайж чадах эсэхийг тодорхойлох арга юм. Хэдийгээр өнөөдөр хиймэл оюун ухаан хамаагүй илүү дэвшилтэт боловч Тюриний үндсэн санаанууд машин сургалт болон бусад хиймэл оюун ухааны алгоритмуудыг хөгжүүлэхэд хамааралтай хэвээр байна.
Орчин үеийн эрин үеийн хамаарал
Дижитал эрин үе рүү гүнзгий орохын хэрээр тооцоолох технологи нь зөвхөн ширээний компьютер эсвэл ухаалаг гар утсаар хязгаарлагдахаа больсон. Юмсуудын интернет (IoT), үүлэн тооцоолол, мэдрэлийн сүлжээ зэрэг нь бүгд Тюрингийн санал болгосон үндсэн зарчмууд дээр тулгуурладаг.
Квант тооцоолол
Одоо бид квант тооцоолол гэх мэт илүү төвөгтэй тооцооллын хэлбэрүүдийн хязгаарыг судалж эхэлж байна. Сонгодог тооцооллоос үндсэндээ өөр боловч Тюрингийн санал болгосон зарчмууд нь квант машиныг ойлгож, хөгжүүлэх эхлэлийн цэг болж үйлчилсээр байна.
Боловсрол ба судалгаа
Тюрингийн машины тухай ойлголт нь компьютерийн шинжлэх ухааны сургалтын хөтөлбөрийн салшгүй хэсэг хэвээр байна. Дэлхий даяарх оюутнууд Тюрингийн машиныг илүү нарийн төвөгтэй алгоритм болон тооцооллын онолын үндэс суурь болгон судалдаг. Энэ нь мөн эрдэмтдэд тооцооллын хязгаарлалт болон боломжийг ойлгоход нь тусалдаг чухал судалгааны хэрэгсэл болсон.
Хиймэл оюун ухаан ба ёс зүй
Хиймэл оюун ухааны хурдацтай хөгжлийн ачаар тооцооллын ёс зүйн талаарх асуултууд дахин гарч ирэв. Хүн ба машинуудын харилцан үйлчлэлийн талаарх Тюрингийн бодол нь энэхүү хэлэлцүүлгийн үндэс суурийг тавьж байна. Машинууд үнэхээр утга учрыг ойлгож чадах уу? Бид чухал шийдвэр гаргахдаа алгоритмуудад хэр зэрэг итгэж болох вэ? Эдгээр асуултууд дижитал эрин үед урагшлахын хэрээр чухал хэвээр байна.
Дүгнэлт
Тюрингийн машин бол компьютерийн шинжлэх ухаан, мэдээллийн технологийн хамгийн үндсэн санаануудын нэг юм. Энэхүү энгийн боловч хувьсгалт ойлголт нь бидэнд тооцооллын хязгаарыг ойлгох боломжийг олгож, орчин үеийн компьютер болон илүү дэвшилтэт технологийг хөгжүүлэх замыг нээсэн юм. Тооцооллын онолоос практик хэрэглээ, боловсролоос дэвшилтэт судалгаа хүртэл Тюрингийн машины нөлөөг хэтрүүлэн хэлэхийн аргагүй юм.
Ирээдүйг харахад Алан Тюрингийн анхдагч зарчмууд улам бүр төвөгтэй болж буй дижитал ертөнцөд шинэ сорилт, боломжуудтай тулгарах үед биднийг удирдан чиглүүлсээр байна. Энэ бол сайн санаа, тэр ч байтугай энгийн санаа ч цаг хугацаа, технологиос давж, бүр цэцэглэн хөгжиж чадна гэдгийн амьд нотолгоо юм.
Тиймээс Тюрингийн машин нь зөвхөн тооцооллын түүхийн нэг хэсэг төдийгүй ирээдүйн технологийг ойлгож, хөгжүүлэхэд чухал тулгуур чулуу юм.
