Alan Tyuring (talaffuzi: Alan Tyuring) (inglizcha: Alan Mathison Tyuring; |23|06|1912 — |7|06|1954) — ingliz matematigi, logiki, kriptografi. U informatikani rivojlantirishga katta hissa qoʻshgan. 1950-yilda kompyuterni ongliligini tekshiruvchi Tyuring testini taklif etgan. Tyuring Ikkinchi jahon urushida nemislarning „Enigma“ nomli maxfiy shifrlovchi mashinasini buzishni uddalagan. 1950-yil oktyabr oyida „Mind“ jurnalida chop etilgan „Hisoblash mashinasi va intellekt“ nomli ilmiy maqolasida bir tajriba qoʻllashni taklif qilgan. Unga koʻra, kompyuter insonlar bilan muloqot qilganda odamlardek „fikrlay oladi“ va „muloqot qila oladi“, yaʼni kompyuterni oʻrgatish mumkin. Mazkur tajriba keyinchalik „Tyuring testi“ deb nomlanib, kompyuterlarning onglilik darajasini tekshirgan. „Tyuring testi“ni aksi bajarilishi natijasida CAPTCHA oʻylab topilgan.
Tyuring mashinasi 20-asrning eng qiziqarli va hayajonli intellektual kashfiyotlaridan biridir. Bu hisoblashning oddiy va foydali mavhum modeli (kompyuter va raqamli) bo'lib, har qanday kompyuter vazifasini amalga oshirish uchun yetarlicha umumiydir. Rahmat oddiy tavsif va matematik tahlilni amalga oshirib, nazariy informatikaning asosini tashkil qiladi. Ushbu tadqiqot raqamli kompyuterlar va hisob-kitoblarni chuqurroq tushunishga olib keldi, jumladan, umumiy foydalanuvchi kompyuterlarida hal etilmaydigan ba’zi hisoblash muammolari mavjudligini tushunish.
Turing mashinasi 1936 yilda yaratilgan, uni aks ettiruvchi moslama deyarli cheksiz ma'lumotni saqlash / qayta ishlashga qodir bo'lgan hisoblashning ideallashtirilgan modeli. Tizim matematik abstraktsiya bo'lib, u favqulodda sodda tarzda tuzilgan, ammo hisoblash va / yoki murakkablik nazariyalari haqidagi savollarning keng doirasini empirik tekshirilishini osonlashtiradi. Uning g'oyasi kompyuterlar tarixida katta voqea bo'ldi va hozirgi kompyuterlarning kelib chiqishi deb hisoblandi
TYURING MASHINASINING VAZIFALARI Algoritmlarni echishda ko'pincha funktsiyani amalga oshirish talab qilinadi. Hisoblash uchun zanjirni yozish imkoniyatiga qarab, funktsiya algoritmik hal qilinadigan yoki hal etilmaydigan deb ataladi. Tabiiy yoki ratsional sonlar to'plami sifatida, mashina uchun chekli N alifbosidagi so'zlar, biz B to'plamining ketma-ketligini ko'rib chiqamiz - B = (0,1) ikkilik kod alifbosi doirasidagi so'zlar. Shuningdek, hisoblash natijasi algoritm "osilib qolganda" yuzaga keladigan "aniqlanmagan" qiymatni hisobga oladi. Funktsiyani amalga oshirish uchun rasmiy tilning cheklangan alifboda mavjudligi va to'g'ri tavsiflarni tanib olish muammosi hal qilinishi muhimdir.
QURILMA DASTURI Tyuring mexanizmi uchun dasturlar jadvallar bilan formatlangan bo'lib, unda birinchi qator va ustun tashqi alifbo belgilarini va mashinaning mumkin bo'lgan ichki holatining qiymatlarini - ichki alifboni o'z ichiga oladi. Jadvalli ma'lumotlar Turing mashinasi tomonidan qabul qilinadigan buyruqlardir. Muammolarning yechimi quyidagicha: hujayradagi bosh tomonidan o'qilgan xat, u yuqorida joylashgan bu daqiqa topiladi va mashina boshining ichki holati buyruqlarning qaysi biri bajarilishi kerakligini belgilaydi. Xususan, bunday buyruq jadvaldagi tashqi va ichki alifbo belgilarining kesishgan joyida joylashgan.
MEXANIZM QANDAY ISHLAYDI Tyuring mashinasi hisoblash qurilmalaridan tubdan farq qiladi - uning xotira qurilmasi cheksiz lentaga ega, raqamli qurilmalarda esa bunday qurilma ma'lum uzunlikdagi chiziqqa ega. Har bir vazifa sinfi faqat bitta qurilgan Tyuring mashinasi tomonidan hal qilinadi. Boshqa turdagi muammolar yangi algoritm yozishni o'z ichiga oladi. Tekshirish moslamasi bitta holatda bo'lib, kamar bo'ylab istalgan yo'nalishda harakatlanishi mumkin. U chekli alifboning belgilarini hujayralarga yozadi va o'qiydi. Harakat paytida bo'sh element tanlanadi, u kirish ma'lumotlarini o'z ichiga olmaydigan pozitsiyalarni to'ldiradi. Tyuring mashinasi algoritmi boshqaruv qurilmasi uchun o'tish qoidalarini belgilaydi. Ular o'qish-yozish boshiga quyidagi parametrlarni o'rnatadilar: katakka yangi belgi yozish, yangi holatga o'tish, lenta bo'ylab chapga yoki o'ngga siljitish.
