FEDERAL TA'LIM AGENTLIGI "VORONEJ DAVLAT UNIVERSITETI" OLIY KASB-TA'LIM DAVLAT TA'LIM MASSASASI T.K. Katsaran, L.N. Stroeva TURING MOSHINA VA REKURSIV FUNKSIYALARI Universitetlar uchun darslik Voronej davlat universitetining nashriyot-matbaa markazi 2008 yil PMM fakulteti ilmiy-uslubiy kengashi tomonidan 2008 yil 25 maydagi 9-sonli bayonnoma tomonidan tasdiqlangan, taqrizchi texnika fanlari doktori, prof. Operatsion tadqiqotlarning matematik usullari kafedrasi T.M. Ledeneva Darslik Voronej davlat universitetining mexanik matematika fakultetining chiziqli bo'lmagan tebranishlar kafedrasida tayyorlangan. VDU Amaliy matematika va matematika fakulteti, VDU Starooskolskiy va Liskinskiy filiallari 1-kurs talabalari uchun tavsiya etiladi. 010500 – Amaliy matematika va informatika ixtisosligi uchun KIRISH “Algoritm” soʻzi 8–9-asrlarda (783–850) yashab oʻtgan oʻzbek matematiki va astronomi Muhammad ibn Muso al-Algoritmi nomining lotincha imlosidan olingan. Xorazmiy. Xorazmlik (hozirgi Oʻzbekistondagi shahar) eng buyuk matematik olim Oʻrta asrlarda Yevropada shu nom bilan mashhur boʻlgan. U o'zining "Hindlarni hisoblash to'g'risida" kitobida arab raqamlari yordamida natural sonlarni yozish qoidalarini va ular ustida ishlash qoidalarini shakllantirdi. Keyin algoritm tushunchasi nafaqat matematikada, balki kengroq ma'noda qo'llanila boshlandi. Matematiklar uchun ham, amaliyotchilar uchun ham algoritm tushunchasi muhim ahamiyatga ega. Shunday qilib, aytishimiz mumkinki, algoritm - bu bir xil turdagi barcha muammolarni hal qilish uchun ma'lum tartibda ma'lum bir operatsiyalar tizimini bajarishning aniq retsepti, dastlabki ma'lumotlardan kerakli natijani olishni ta'minlaydigan harakatlar ketma-ketligini belgilaydi. E'tibor bering, bu "algoritm" tushunchasining ta'rifi emas, balki faqat uning tavsifi, intuitiv ma'nosi. Algoritm shaxs tomonidan yoki avtomatik qurilma tomonidan bajarilishi uchun mo'ljallangan bo'lishi mumkin. Algoritmning bu g'oyasi matematik nuqtai nazardan qat'iy emas, chunki u "aniq ko'rsatmalar" va "dastlabki ma'lumotlar" kabi tushunchalardan foydalanadi, ular umuman olganda, aniq belgilanmagan. Har qanday algoritmning o'ziga xos xususiyati uning ma'lum bir sinfdagi muammolarni hal qilish qobiliyatidir. Masalan, bu chiziqli tenglamalar tizimini yechish, grafikdagi eng qisqa yo‘lni topish va hokazo algoritmi bo‘lishi mumkin. Algoritmni, hatto eng oddiyini ham yaratish ijodiy jarayondir. U faqat tirik mavjudotlar uchun mavjud va uzoq vaqt davomida faqat odamlarga ishonishgan. Yana bir narsa - mavjud algoritmni amalga oshirish. U masalaning mohiyatini o'rganishga majbur bo'lmagan va ehtimol uni tushunishga qodir bo'lmagan sub'ekt yoki ob'ektga ishonib topshirilishi mumkin. Bunday sub'ekt yoki ob'ekt odatda rasmiy ijrochi deb ataladi. Rasmiy ijrochining misoli, agar siz unga kukun qo'yishni unutgan bo'lsangiz ham, unga belgilangan harakatlarni qat'iy bajaradigan avtomatik kir yuvish mashinasidir. Shaxs rasmiy ijrochi sifatida ham harakat qilishi mumkin, lekin birinchi navbatda, turli avtomatik qurilmalar, jumladan, kompyuter ham rasmiy ijrochilardir. Har bir algoritm juda aniq ijrochini hisobga olgan holda yaratilgan. Ijrochi bajarishi mumkin bo'lgan harakatlar uning joiz harakatlari deyiladi. Ruxsat etilgan harakatlar to'plami ijrochi buyruqlar tizimini tashkil qiladi. Algoritm faqat ma'lum bir ijrochi uchun ruxsat etilgan harakatlarni o'z ichiga olishi kerak. Shuning uchun algoritmlarni boshqa ko'rsatmalardan farqlash uchun odatda algoritmlarning bir nechta umumiy xususiyatlari shakllantiriladi. Algoritm quyidagi xususiyatlarga ega bo'lishi kerak. Diskretlik (uzluksizlik, alohidalik) - algoritm muammoni hal qilish jarayonini oddiy (yoki oldindan belgilangan) bosqichlarning ketma-ket bajarilishi sifatida ifodalashi kerak. Algoritm tomonidan taqdim etilgan har bir harakat avvalgisi bajarilgandan keyingina bajariladi. Aniqlik - algoritmning har bir qoidasi aniq, aniq bo'lishi va o'zboshimchalik uchun joy qoldirmasligi kerak. Ushbu xususiyat tufayli algoritmning bajarilishi mexanik xarakterga ega va echilayotgan masala haqida hech qanday qo'shimcha ko'rsatmalar yoki ma'lumot talab qilmaydi. Samaradorlik (cheklanganlik) - algoritm muammoni cheklangan miqdordagi bosqichlarda hal qilishga olib kelishi kerak. 4 Massivlik - masalani yechish algoritmi umumiy shaklda ishlab chiqilgan, ya'ni u faqat dastlabki ma'lumotlarda farq qiluvchi ma'lum bir sinf muammolari uchun qo'llanilishi kerak. Bunday holda, dastlabki ma'lumotlar ma'lum bir hududdan tanlanishi mumkin, bu algoritmning qo'llanilishi sohasi deb ataladi. Algoritm nazariyasi – algoritmlarning umumiy xossalarini o‘rganuvchi matematikaning bo‘limi. Algoritmlarning sifat va metrik nazariyalari mavjud. Algoritmlarning sifat nazariyasining asosiy muammosi ko'rsatilgan xossalarga ega bo'lgan algoritmni qurish masalasidir. Bu masala algoritmik masala deyiladi. Algoritmlarning metrik nazariyasi algoritmlarni murakkabligi nuqtai nazaridan tekshiradi. Algoritmlar nazariyasining bu sohasi algoritmik murakkablik nazariyasi deb ham ataladi. Ba'zi muammolarning yechimlarini izlashda tegishli algoritmni topish uchun uzoq vaqt kerak bo'ldi. Bunday masalalarga misollar: a) metodni ko'rsating, unga ko'ra har qanday predikat formulasi uchun chekli sonli amallarda uning bir xil to'g'ri yoki yo'qligini aniqlash mumkin; b) Diofant tenglamasi (butun sonli koeffitsientli algebraik tenglama) butun sonlarda yechiladimi? Bu masalalarni yechish algoritmlarini topishning imkoni bo‘lmagani uchun bunday algoritmlar umuman yo‘q degan taxmin paydo bo‘ldi, bu isbotlandi: birinchi masalani A.Cherch, ikkinchisini esa Yu.V. Matiyasevich va G.V. Chudnovskiy. Buni algoritmning intuitiv kontseptsiyasi yordamida isbotlash printsipial jihatdan imkonsizdir. Shuning uchun algoritm tushunchasiga aniq matematik ta'rif berishga harakat qilindi. 20-asrning 30-yillari oʻrtalarida S.K. Kleen, A.A. Markov, E.Post, A.Tyuring, A.Cherç va boshqalar algoritm tushunchasining turli matematik ta'riflarini 5 taklif qildilar. Keyinchalik, bu turli xil rasmiy matematik ta'riflar qaysidir ma'noda ekvivalent ekanligi isbotlandi: ular bir xil funktsiyalar to'plamini hisoblaydi. Bu shuni ko'rsatadiki, algoritmning intuitiv kontseptsiyasining asosiy xususiyatlari ushbu ta'riflarda to'g'ri ushlangan ko'rinadi. Keyinchalik, Tyuring mashinasi deb ataladigan A. Tyuring tomonidan taklif qilingan algoritmni matematik jihatdan takomillashtirishni ko'rib chiqamiz. 6 1. Tyuring mashinasi § 1. Tyuring mashinasining matematik modeli 20-asrning 30-yillarida ingliz matematigi A. Tyuring tomonidan ilgari surilgan Tyuring mashinasini yaratish gʻoyasi uning maʼlumot berishga urinishi bilan bogʻliq. algoritm tushunchasining aniq matematik ta'rifi. Turing mashinasi (MT) ideallashtirilgan raqamli kompyuterning matematik modelidir. Tyuring mashinasi funksiya, hosila, integral, guruh va boshqalar kabi bir xil matematik ob'ektdir. Xuddi boshqa matematik tushunchalar kabi, Tyuring mashinasi tushunchasi ham ob'ektiv haqiqatni aks ettiradi va muayyan real jarayonlarni modellashtiradi. MT algoritmini tavsiflash uchun to'rt qismdan iborat qurilmani tasavvur qilish qulay: lenta, o'qish boshi, boshqaruv moslamasi va ichki xotira. 1. Lenta potentsial cheksiz, hujayralarga bo'lingan (teng hujayralar) deb hisoblanadi. Agar kerak bo'lsa, belgilar joylashgan birinchi yoki oxirgi katakchaga bo'sh katak biriktiriladi. Mashina o'z vaqtida ishlaydi, bu diskret hisoblanadi va uning momentlari 1, 2, 3, ... bilan raqamlangan. Istalgan vaqtda lentada cheklangan miqdordagi hujayralar mavjud. Diskret vaqtda yacheykalarga tashqi alifbodan faqat bitta belgi (harf) A = (L, a1 , a 2 ,..., a n -1 ), n ³ 2 yozilishi mumkin. Bo'sh katak L belgisi bilan belgilanadi va L belgisining o'zi bo'sh, qolgan belgilar esa bo'sh emas deb ataladi. Ushbu A alifbosida MT ga beriladigan ma'lumotlar so'z (cheklangan tartiblangan belgilar to'plami) shaklida kodlangan. Mashina so'z shaklida taqdim etilgan ma'lumotlarni yangi so'zga "ishlaydi". 2. O'qish boshi (ma'lum bir o'qish elementi) lenta bo'ylab harakatlanadi, shunda har bir daqiqada lentaning aniq bir katakchasini ko'radi. Bosh hujayraning mazmunini o‘qiy oladi va unga A alifbosidan yangi belgi yoza oladi.Bir operatsiya siklida u faqat bitta katakchani o‘ngga (R), chapga (L) siljitishi yoki joyida qolishi mumkin (N) ). Boshning D = (P, L, N) harakatlari (siljishlari) to'plamini belgilaymiz. Agar ma'lum bir t momentida bosh eng tashqi katakda bo'lsa va etishmayotgan hujayraga o'tsa, unda yangi bo'sh katak qo'shiladi, uning ustida bosh t + 1 momentida bo'ladi. 3. Mashinaning ichki xotirasi ichki holatlarning ma'lum bir chekli to'plamidir Q = ( q0 , q1 , q 2 , ..., q m ), m ³ 1 . Biz kuch |Q | deb faraz qilamiz ³ 2. Mashinaning ikkita holati alohida ma'noga ega: q1 - boshlang'ich ichki holat (bir nechta boshlang'ich ichki holatlar bo'lishi mumkin), q0 - yakuniy holat yoki to'xtash holati (har doim bitta yakuniy holat mavjud). Vaqtning har bir daqiqasida MT boshning pozitsiyasi va ichki holati bilan tavsiflanadi. Masalan, bosh joylashgan katak ostida mashinaning ichki holati ko'rsatilgan. ¯ a2 a1 L a2 a3 q1 4. Har bir t momentida boshqaruv moslamasi o‘sha vaqtda o‘qilayotgan lentadagi belgiga va mashinaning ichki holatiga qarab quyidagi amallarni bajaradi: 1) ai o‘qilgan belgini o‘zgartiradi. hozirgi vaqtda t yangi belgiga a j (xususan, uni o'zgarishsiz qoldiradi, ya'ni ai = a j); 2) boshni quyidagi yo'nalishlardan birida harakatga keltiradi: N, L, R; 3) t momentida mavjud bo'lgan 8 qi mashinaning ichki holatini yangi q j ga o'zgartiradi, bunda mashina t +1 vaqtida bo'ladi (bu qi = q j bo'lishi mumkin). Boshqarish moslamasining bunday harakatlari buyruq deb ataladi, uni quyidagi ko'rinishda yozish mumkin: qi ai ® a j D q j , (1) bu erda qi - hozirgi vaqtda mashinaning ichki holati; a i – hozir o‘qilayotgan belgi; a j – a i belgisi o‘zgarmaydigan belgi (ai = a j bo‘lishi mumkin); D belgisi N, yoki L yoki P bo'lib, boshning harakat yo'nalishini ko'rsatadi; q j - keyingi momentdagi mashinaning ichki holati (balki qi = q j). Qi ai va a j D q j ifodalari mos ravishda bu buyruqning chap va o'ng tomonlari deyiladi. Q \ (q 0 ) va A to'plamlari chekli bo'lgani uchun chap tomonlari juftlik bilan farqlanadigan buyruqlar soni chekli sondir. Chap tomonlari bir xil bo'lgan buyruqlar mavjud emas, ya'ni agar T mashina dasturida qi ai ® a j D q j va qt at ® ak D qk ifodalari bo'lsa, qi ¹ qt yoki ai ¹ at va D O (P, L, N) ). Barcha ko'rsatmalar to'plami Turing mashinasi dasturi deb ataladi. Dasturdagi buyruqlarning maksimal soni (n + 1) x m, bu erda n + 1 = A va m + 1 = Q. q0 buyrug'ining yakuniy holati faqat buyruqning o'ng tomonida paydo bo'lishi mumkin, deb ishoniladi, q1 boshlang'ich holati buyruqning chap va o'ng tomonida paydo bo'lishi mumkin. Bitta buyruqni bajarish qadam deyiladi. Turing mashinasini hisoblash (yoki ishlashi) birinchisidan boshlab, o'tkazib yubormasdan ketma-ket ketma-ketlikdir. Demak, agar to'rtta chekli to'plam ma'lum bo'lsa, MT beriladi: tashqi alifbo A, ichki Q alifbosi, bosh harakatlarining D to'plami va chekli buyruqlar to'plami bo'lgan mashina dasturi. 9 § 2. Tyuring mashinasining ishlashi Mashinaning ishlashi birinchi (boshlang'ich) momentdagi vazifa bilan to'liq aniqlanadi: 1) lentadagi so'zlar, ya'ni lenta katakchalarida yozilgan belgilar ketma-ketligi (a. so'z chapdan o'ngga lenta hujayralari bo'ylab ushbu belgilarni o'qish orqali olinadi); 2) boshning holati; 3) mashinaning ichki holati. Ushbu uch shartning kombinatsiyasi (hozirda) konfiguratsiya (hozirda) deb ataladi. Odatda, dastlabki daqiqada mashinaning ichki holati q1 bo'lib, boshi lentaning birinchi chap yoki birinchi o'ng katakchasi ustida joylashgan. Boshlang'ich holati q1 va bosh holati birinchi so'zdan yuqori bo'lgan lentadagi berilgan so'z boshlang'ich konfiguratsiya deb ataladi. Aks holda, biz Turing mashinasining dastlabki konfiguratsiya so'ziga taalluqli emasligini aytamiz. Boshqacha qilib aytganda, dastlabki daqiqada konfiguratsiya quyidagi shaklda ifodalanadi: ma'lum miqdordagi kataklardan iborat lentada, har bir katakda tashqi A alifbosining belgilaridan biri yoziladi, bosh birinchisining tepasida joylashgan. lentaning chap yoki birinchi o'ng katakchasi va ichki qismi.Mashinaning holati q1. Ushbu buyruqni bajarish natijasida hosil bo'lgan lenta va bosh pozitsiyasidagi so'z yakuniy konfiguratsiya deb ataladi. Misol uchun, agar dastlabki daqiqada lentada a1La 2 a1a1 so'zi yozilgan bo'lsa, unda dastlabki konfiguratsiya quyidagicha bo'ladi: a1 a2 L a1 a1 q1 (yuqorida bosh joylashgan katak ostida, mashinaning ichki holati. ko'rsatilgan). 10

Maktab informatika kursidagi "Tyuring mashinasi" mavzusi

I.N. Falina,
Moskva

Ko‘pgina informatika darsliklarida algoritm tushunchasi va xossalarini o‘rganishda quyidagi mazmundagi iboralar uchraydi: “...bir xil algoritmni yozishning turli usullari mavjud, masalan, matn shaklida yozish, yozish. sxema ko‘rinishida, qandaydir algoritmik tilda yozish, algoritmni Tyuring mashinasi yoki Post mashinasi ko‘rinishida tasvirlash...”. Afsuski, bu turdagi iboralar Tyuring mashinasi haqida gapiradigan yagona narsadir. Shubhasiz, algoritmlarni o'rganishga ajratilgan soatlar hajmi ushbu mavzuga Tyuring mashinasi shaklida algoritm yozish usullarini o'rganishni ham kiritishga imkon bermaydi. Ammo bu mavzu maktab o'quvchilari, ayniqsa, informatika faniga qiziquvchilar uchun juda qiziqarli, muhim va foydalidir.

“Tyuring mashinasi” mavzusini 8-11-sinflarda “Axborot jarayonlari” mavzusi doirasida o‘rganish mumkin. Axborotni qayta ishlash”, fakultativ sinflarda, qo'shimcha ta'lim tizimida, masalan, yosh dasturchilar maktablarida. Ushbu mavzuni o'rganish, agar o'qituvchida "Turing Machine" dasturiy simulyatori bo'lsa, kompyuter yordami bilan birga bo'lishi mumkin. Ilg'or dasturlash darslarida talabalar mustaqil ravishda Turing mashinasi dasturini yozishlari mumkin. Ushbu maqolaning bir qismi sifatida biz sizga "Tyuring mashinasi" mavzusidagi muammolarni hal qilish bo'yicha seminarni taklif qilamiz. Ushbu mavzu bo'yicha nazariy materiallar "Informatika" gazetasi sahifalarida bir necha marta nashr etilgan, masalan, 3/2004-sonli I.N. Falina "Algoritmlar nazariyasi elementlari".

Tyuring mashinasi - qat'iy matematik konstruktsiya, matematik apparat (masalan, differensial tenglamalar apparatiga o'xshash), muayyan muammolarni hal qilish uchun yaratilgan. Ushbu matematik apparat o'zining tarkibiy qismlari va ishlashi tavsifi jihatidan kompyuterga o'xshashligi sababli "mashina" deb nomlangan. Turing mashinasi va kompyuterlar o'rtasidagi asosiy farq shundaki, uning saqlash qurilmasi cheksiz lentadir: haqiqiy kompyuterlarda saqlash moslamasi siz xohlagan darajada bo'lishi mumkin, lekin u chekli bo'lishi kerak. Turing mashinasini aniq amalga oshirish mumkin emas, chunki uning tasmasi cheksizdir. Shu nuqtai nazardan, u har qanday hisoblash mashinasidan kuchliroqdir.

Har bir Turing mashinasi ikkita qismdan iborat:

1)cheksiz borish va qaytish sayohati lenta, hujayralarga bo'lingan;

2) mashina(dastur tomonidan boshqariladigan o'qish / yozish boshi).

Har bir Tyuring mashinasi bilan bog'langan ikkita oxirgi alifbo: kirish belgilari alifbosi A = (a 0 , a 1 , ..., a m ) va Q = (q 0 , q 1 , ..., q p ) holatlar alifbosi. (Turing mashinalari turli xil alifbolarga ega bo'lishi mumkin A Va Q.) q 0 holati chaqiriladi passiv. Agar mashina bu holatga tushsa, u o'z ishini tugatgan deb ishoniladi. q 1 holati deyiladi boshlang'ich. Ushbu holatda mashina o'z ishini boshlaydi.

Kiritilgan so'z lentaga ketma-ket katakchalarga birma-bir harf joylashtiriladi. Kiritilgan so'zning chap va o'ng tomonida faqat bo'sh katakchalar mavjud (alifboda A har doim bo'sh harfni o'z ichiga oladi A 0 - hujayra bo'shligining belgisi).

Mashina lenta bo'ylab chapga yoki o'ngga harakatlanishi, hujayralar tarkibini o'qishi va katakchalarga harflar yozishi mumkin. Quyida Tyuring mashinasining sxematik chizmasi keltirilgan, uning avtomati ma'lumotlar bilan birinchi katakchani tekshiradi.

Mashina har safar faqat bitta hujayrani "ko'radi". Qaysi harfga qarab ai u ko'radi, shuningdek, uning holatiga qarab qj Mashina quyidagi amallarni bajarishi mumkin:

• · kuzatilgan katakchaga yangi harf yozish;
• · lentani bitta katakchani o'ngga/chapga siljiting yoki harakatsiz qoling;
• · yangi holatga o'tish.

Ya'ni, Tyuring mashinasida uch turdagi operatsiyalar mavjud. Har safar keyingi juftlik uchun ( q j, a i) Tyuring mashinasi ma'lum parametrlarga ega uchta amaldan iborat buyruqni bajaradi.

Turing mashinasi dasturi - bu har bir katakka buyruq yozilgan jadval.

Hujayra ( q j, a i) ikkita parametr bilan aniqlanadi - alifbo belgisi va mashinaning holati. Buyruq ko'rsatkichdir: o'qish/yozish boshini qayerga ko'chirish, joriy katakka qanday belgi yozish, mashina qaysi holatga o'tishi kerak. Mashinaning harakat yo'nalishini ko'rsatish uchun biz uchta harfdan birini ishlatamiz: "L" (chapda), "P" (o'ngda) yoki "N" (statsionar).

Mashina keyingi buyruqni bajargandan so'ng, u holatga o'tadi q m(muayyan holatda oldingi holatga to'g'ri kelishi mumkin q j). Keyingi buyruqni ichida topish kerak m ustun bilan kesishgan stolning th qatori a l(xat a l mashina smenadan keyin ko'radi).

Keling, rozi bo'laylik, agar lentada kirish so'zi bo'lsa, u holda mashina davlatning ba'zi kataklariga qarshi joylashgan q 1. Ishlash jarayonida avtomat dasturning (jadvalning) bir yacheykasidan ikkinchisiga o‘tib, avtomat holatga o‘tishi kerakligi yozilgan katakka yetib boradi. q 0 . Bu hujayralar deyiladi hujayralarni to'xtatish. Har qanday bunday hujayraga etib borgan holda, Tyuring mashinasi to'xtaydi.

Oddiy dizayniga qaramay, Turing mashinasi so'zlarning barcha mumkin bo'lgan o'zgarishlarini amalga oshirishi va shu bilan barcha mumkin bo'lgan algoritmlarni amalga oshirishi mumkin.

Misol. Lentadagi raqamga bitta qo'shadigan Tyuring mashinasini qurish kerak. Kiritilgan so'z lentadagi ketma-ket hujayralarga yozilgan o'nlik butun sonlardan iborat. Dastlabki vaqtda mashina raqamning eng o'ng raqamiga qarama-qarshi joylashgan.

Yechim. Mashina raqamning oxirgi raqamiga bitta qo'shishi kerak. Agar oxirgi raqam 9 bo'lsa, uni 0 bilan almashtiring va oldingi raqamga bitta qo'shing. Berilgan Turing mashinasi uchun dastur quyidagicha ko'rinishi mumkin:

Ushbu Turing mashinasida q 1 - raqamni o'zgartirish holati, q 0 - to'xtash holati. Agar imkoningiz bo'lsa q l mashina 0..8 raqamini ko'radi, keyin uni mos ravishda 1..9 bilan almashtiradi va holatga o'tadi. q 0, ya'ni. mashina to'xtaydi. Agar u 9 raqamini ko'rsa, uni 0 bilan almashtiradi, chapga o'tadi va holatda qoladi q l. Bu mashina 9 dan kichik raqamga duch kelguncha davom etadi. Agar barcha raqamlar 9 ga teng bo'lsa, u ularni nolga almashtiradi, eng yuqori raqam o'rniga 0 ni yozadi, chapga o'tadi va bo'sh katakka 1 ni yozadi. Keyin u davlatga o'tadi q 0, ya'ni. to'xtab qoladi.

Amaliy topshiriqlar

1. Turing mashinasi lentasida “+” belgilar ketma-ketligi mavjud. Tyuring mashinasi uchun har ikkinchi “+” belgisini “–” belgisiga almashtiradigan dastur tuzing. O'zgartirish ketma-ketlikning o'ng uchidan boshlanadi. Mashina qodir q 1 belgilangan ketma-ketlikdagi belgilardan biriga qaraydi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

2. Raqam berilgan n sakkizlik sanoq sistemasida. Berilgan sonni oshiradigan Tyuring mashinasini loyihalash n da 1. Mashina qodir q 1 kiritilgan so'zning ma'lum bir raqamiga qaraydi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

3. Natural sonning o‘nli yozuvi berilgan n> 1. Berilgan sonni kamaytiradigan Tyuring mashinasini yarating n da 1. Mashina qodir q 1 raqamning o'ng raqamiga qaraydi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

4. Natural son berilgan n> 1. Berilgan sonni kamaytiradigan Tyuring mashinasini yarating n 1 ga, bunda chiqish so'zida eng muhim raqam 0 bo'lmasligi kerak. Masalan, agar kirish so'zi "100" bo'lsa, chiqish so'zi "099" emas, "99" bo'lishi kerak. Mashina qodir q 1 raqamning o'ng raqamiga qaraydi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

5. Qavslarni ochish va yopish massivi berilgan. O'zaro qavslar juftlarini olib tashlaydigan Turing mashinasini yarating, ya'ni. “()” qatorida joylashgan.

Masalan, “) (() (()) berilganda, siz “) . . . ((") olishingiz kerak.

Mashina qodir q

6. Harflar qatori berilgan. a"Va" b" Barcha harflarni harakatga keltiradigan Tyuring mashinasini yarating. a chapga ” va “harflari” b” - chiziqning o'ng tomoniga. Mashina qodir q 1 chiziqning eng chap belgisiga qaraydi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

7. Tyuring mashinasi lentasida o'nlik sanoq sistemasida yozilgan son mavjud. Bu raqamni 2 ga ko'paytiring. Mashina qodir q 1 raqamning eng chap raqamiga qaraydi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

8. Ikki natural son berilgan m Va n, unar sanoq sistemasida berilgan. Mos keladigan belgilar to'plami "|" bo'sh katak bilan ajratilgan. Mashina qodir q 1 kiritish ketma-ketligining eng o'ng belgisiga qaraydi. Tasmada raqamlar yig'indisini qoldiradigan Tyuring mashinasini ishlab chiqing m Va n. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

9. Ikki natural son berilgan m Va n, unar sanoq sistemasida berilgan. Mos keladigan belgilar to'plami "|" bo'sh katak bilan ajratilgan. Mashina qodir q 1 kiritish ketma-ketligining eng o'ng belgisiga qaraydi. Lentada raqamlar orasidagi farqni qoldiradigan Tyuring mashinasini ishlab chiqing. m Va n. Ma'lumki m> n. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

10. Tyuring mashinasi lentasida kasr soni mavjud. Bu son 5 ga qoldiqsiz bo'linishini aniqlang. Agar u bo'linadigan bo'lsa, raqamning o'ng tomoniga "ha" so'zini yozing, aks holda "yo'q". Mashina kiritilgan raqamning ma'lum bir raqamini tekshiradi. Jadval dasturining o'ziga qo'shimcha ravishda, har bir holatda mashina tomonidan nima bajarilishini so'z bilan tasvirlab bering.

Holatida q 1 ta mashina raqamning o'ng uchini qidiradi, qodir q 2 - "+" belgisini o'tkazib yuboradi, ketma-ketlik oxiriga yetganda - to'xtaydi. Holatida q 3, mashina "+" belgisini "-" belgisi bilan almashtiradi va ketma-ketlikning oxiriga yetganda u to'xtaydi.

Ushbu muammoning echimi yuqorida muhokama qilingan misolga o'xshaydi.

Davlat q 1 - eng pastki (keyingi) raqamni 1 ga kamaytiramiz. Agar u nolga teng bo'lmasa, pasayishdan keyin darhol to'xtatamiz, agar eng past raqam 0 bo'lsa, uning o'rniga 9 ni yozamiz, chapga siljitamiz va ayirishni yana bajaramiz. . qafasda [ a 0 , q 1 ] Turing mashinasi hech qachon urmaydi, shuning uchun uni to'ldirilmagan holda qoldirish mumkin.

4-topshiriq (3-topshiriqning murakkabligi)

Davlat q 1 - kichik (keyingi) raqamni 1 ga kamaytiramiz. Agar u 1 dan katta bo'lsa, qisqartirishdan so'ng darhol to'xtatamiz, lekin kichik raqam 0 bo'lsa, uning o'rniga 9 ni yozamiz, chapga siljitamiz va ayirishni bajaramiz. yana. Agar kamaytirilayotgan raqam 1 bo'lsa, uning o'rniga 0 yozamiz va holatga o'tamiz q 2 .

Davlat q 2 - har qanday holatda "0" ni yozgandan so'ng, bu nol eng muhim raqam yoki yo'qligini tahlil qilish kerak (ya'ni, chiqish so'zi yozuvida uning chap tomonidami yoki yo'qmi) a 0).

Davlat q 3 - agar qayd etilgan "0" eng muhim raqam bo'lsa, uni chiqish so'zi yozuvidan olib tashlash kerak.

Tyuring mashinasi hech qachon kirmaydigan hujayralar bo'sh qoladi.

Davlat q 1: agar "(" ga duch kelsangiz, o'ngga siljiting va holatga o'ting q 2 ; uchrashgan bo'lsangiz " a 0”, keyin toʻxtating.

Davlat q 2: juftlashtirish uchun "(" belgisini tahlil qilish, agar juftlashganda ular ")" ni ko'rishlari kerak. Agar bug 'xonasi bo'lsa, keyin chapga qaytib, davlatga boring q 3 .

Davlat q 3: avval “(”, keyin “)” ni oʻchiring va oʻting q 1 .

Ushbu muammoni hal qilish odatda maktab o'quvchilari uchun qiyinchilik tug'diradi. Ushbu muammoni hal qilishni tahlil qilganda, masalan, quyidagi yo'l bilan borishingiz mumkin.

Talabalaringiz bilan so'zlarni kiritish uchun quyidagi variantlarni ko'rib chiqing va ulardan Tyuring mashinasi nima qilishi kerakligini, chiqish so'zi qanday ko'rinishini va bu variantlar Turing mashinasi nuqtai nazaridan qanday farq qilishini shakllantirishlarini so'rang:

aaa ->

a -> chiqish so'zi kirish so'ziga mos keladi, biz kirish so'zini oxirigacha ko'rib chiqamiz.

bbb -> chiqish so'zi kirish so'ziga mos keladi, biz kirish so'zini oxirigacha ko'rib chiqamiz.

b -> chiqish so'zi kirish so'ziga mos keladi, biz kirish so'zini oxirigacha ko'rib chiqamiz.

ab -> chiqish so'zi kirish so'ziga mos keladi, biz kirish so'zini oxirigacha ko'rib chiqamiz.

Muhokama natijasi. Turing mashinasi qaysi harflar zanjiridan keyin kelishini "tushunishi" kerak, ya'ni. u kamida ikkita holatga ega bo'lishi kerak. Davlatga ruxsat bering q 1 - harflar zanjiri bo'ylab harakat " a", A q 2 - harflar zanjiri bo'ylab harakatlanish holati " b" E'tibor bering, zanjir ham bitta harfdan iborat bo'lishi mumkin. Agar biz shtatdagi chiziqning oxiriga yetgan bo'lsak q 1 yoki q 2, ya'ni. uchrashdi a 0, mashina to'xtashi kerak, biz butun chiziqni qayta ishladik.

Kirish so'zlari uchun quyidagi variantlarni ko'rib chiqing:

bba -> abb

bbbaab -> aabbbb

aabbaab -> aaaabbbb

Muhokama natijasi. Kirish so'zining birinchi versiyasini quyidagi tarzda ketma-ket qayta ishlash mumkin: bba -> bbb-> harflar zanjirining chap uchiga qaytish " b” -> abb(bu zanjirning birinchi harfini “ bilan almashtiring. a"). Ushbu harakatlarni amalga oshirish uchun biz ikkita yangi holatni joriy qilishimiz va qo'shimcha ravishda davlatni aniqlashtirishimiz kerak q 2. Shunday qilib, ushbu muammoni hal qilish uchun biz quyidagi holatlarga ega Tyuring mashinasini qurishimiz kerak:

q 1 - harflar zanjiri bo'ylab o'ngga o'ting " a" Agar zanjir tugasa a 0, keyin o'ting q 0 ; agar u "harfi bilan tugasa b", keyin biz boramiz q 2 ;

q 2 - harflar zanjiri bo'ylab o'ngga o'ting " b” agar zanjir tugasa a 0, keyin o'ting q 0 ; agar tugasa " a", keyin " harfini almashtiring a"yoq" b”, davlatga boring q 3 (turning zanjiri turning zanjiri bilan almashtirildi);

q 3 - harflar zanjiri bo'ylab chapga o'ting " b” uning chap tomoniga. Agar uchrashgan bo'lsangiz a 0 yoki " a", keyin biz boramiz q 4 ;

q 4 - almashtirish " b"yoq" a” va o'ting q 1 (shakl zanjirini shakl zanjiri bilan almashtiring .

Muammo 7

davlat q 1 - raqamning o'ng (eng past) raqamini qidirish;

davlat q 2 - raqamning keyingi raqamini 1 ta ko'chish qo'shmasdan 2 ga ko'paytirish;

davlat q 3 - raqamning keyingi raqamini 1 ta tashish qo'shilishi bilan 2 ga ko'paytirish.

Ushbu dastur uchun Tyuring mashinasi juda oddiy ko'rinadi - u faqat bitta holatga ega. Bunday Tyuring mashinasi quyidagi amallarni bajaradi: eng o'ngdagi zarbani o'chiradi, ajratuvchini (bo'sh katakchani) qidiradi va bu bo'sh katakchaga zarba joylashtiradi va shu bilan uzunlikdagi zarbalarning uzluksiz ketma-ketligini hosil qiladi. n + m.

Biroq, g'alati, bu muammoni hal qilish katta qiyinchiliklarga olib keladi. Ko'pincha talabalar tsiklik harakatlarni bajaradigan Tyuring mashinasini quradilar: ketma-ket o'ngga surish. n chapga zarbalar.

Bunday holda, ularning dasturi quyidagicha ko'rinadi:

davlat q 1 - ajratuvchini qidirish;

davlat q 2 - zarbani harakatga keltirdi;

davlat q 3 - oxirini tekshiring (barcha zarbalar ko'chirilganmi yoki yo'qmi).

Ushbu muammoning misoli bolalar muammoni allaqachon tanish bo'lgan usullar bilan qanchalik tez-tez hal qilishga harakat qilishlarini aniq ko'rsatib turibdi. Menimcha, talabalarga Tyuring mashinalarini qurish masalalarini taklif qilish orqali biz noodatiy echimlarni topish qobiliyatini rivojlantiramiz va ijodiy fikrlash qobiliyatini rivojlantiramiz!

Bu vazifa maktab o'quvchilariga juda oson ko'rinadi, ammo Tyuring mashinasini to'xtatish bilan bog'liq qiyinchiliklar paydo bo'ladi. Quyida ushbu vazifa uchun Turing mashinasining mumkin bo'lgan versiyasi mavjud.

Yechim g'oyasi (to'xtatish sharti). Lentada ikkita boshlang'ich kontur massivlari mavjud.

Biz massivning chap uchidan zarbalarni o'chirishni boshlaymiz m. Va birin-ketin biz massivdagi eng chap chiziqni o'chirib tashlaymiz m va massivdagi eng o'ng chiziq n. Ammo massivdagi to'g'ri zarbani o'chirishdan oldin n, biz bu yagona (ya'ni o'chirilishi kerak bo'lgan oxirgi) yoki yo'qligini tekshiramiz.

Keling, birinchi navbatda Tyuring mashinasining muammomizni hal qilish uchun zarur bo'lgan holatlarini tasvirlab beramiz va keyin jadval dasturini tuzamiz.

Davlat q 1 - o'ngdan chapga siljishda zarbalar massivlari orasidagi ajratgichni qidirish;

davlat q 2 - massivda chap chiziqni qidiring m;

davlat q 3 - massivdagi chap zarbani olib tashlash m;

davlat q 4 - chapdan o'ngga harakatlanayotganda ajratgichni qidirish;

davlat q 5 - massivda to'g'ri chiziqni qidiring n;

davlat q 6 - massivdagi ushbu zarbaning o'ziga xosligini tekshirish n, ya'ni. oxirgisi bo'lganligini aniqlash;

davlat q 7 - agar bu oxirgi bo'lsa, to'xtating, aks holda algoritmni bajarishning yangi tsikliga o'ting.

Ushbu muammoni hal qilishda siz alifboning to'g'ri yozilishiga e'tibor berishingiz kerak:

A = ( a 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, D, A, N, E, T).

Davlat q 1 - raqamning o'ng uchini qidirish;

davlat q 2 - raqamning eng kam ahamiyatli raqamini tahlil qilish; agar u "0" yoki "5" ga teng bo'lsa, ya'ni. raqam 5 ga bo'linadi, keyin holatga o'tish q 3 , aks holda holatga o'tish q 5 ;

davlat q 3 - lentada so'zning o'ng tomoniga "D" harfini yozing;

davlat q 4 - so'zning o'ng tomoniga "A" harfini yozing va mashinani to'xtating;

davlat q 5 - so'zning o'ng tomoniga "N" harfini yozish;

davlat q 6 - so'zning o'ng tomoniga "E" harfini yozish;

davlat q 7 - so'zning o'ng tomoniga "T" harfini yozing va mashinani to'xtating.

Algoritm sifatida Tyuring mashinasining xossalari

Misol tariqasida Tyuring mashinasidan foydalanib, algoritmlarning xossalarini yaqqol ko'rish mumkin. Talabalardan Tyuring mashinasi algoritmning barcha xususiyatlariga ega ekanligini ko'rsatishni so'rang.

Diskretlik. Turing mashinasi ( k + 1) faqat tugallangandan keyin Kimga- th qadam, chunki aynan Kimga- qadam nima bo'lishini belgilaydi ( k + 1) qadam.

Aniqlik. Har bir qadamda hujayra ichiga alifbodan belgi yoziladi, avtomat bitta harakatni (L, P, N) amalga oshiradi va Tyuring mashinasi tasvirlangan holatlardan biriga o'tadi.

Determinizm. Tyuring mashinasi jadvalining har bir katagida harakat uchun faqat bitta variant mavjud. Har bir bosqichda natija o'ziga xos tarzda aniqlanadi, shuning uchun muammoni hal qilish bosqichlari ketma-ketligi yagona aniqlanadi, ya'ni. Agar Turing mashinasiga bir xil kirish so'zi berilsa, u holda chiqish so'zi har safar bir xil bo'ladi.

Hosildorlik. Tarkib nuqtai nazaridan, har bir qadamning natijalari va barcha bosqichlar ketma-ketligi noyob tarzda aniqlanadi; shuning uchun to'g'ri yozilgan Tyuring mashinasi chekli miqdordagi qadamlar bilan holatga o'tadi. q 0, ya'ni. cheklangan miqdordagi bosqichlarda muammoli savolga javob olinadi.

Ommaviy xarakter. Har bir Turing mashinasi alifbodagi barcha ruxsat etilgan so'zlar bo'yicha aniqlanadi, bu ommaviy xususiyatdir. Har bir Turing mashinasi bir sinfdagi muammolarni hal qilish uchun mo'ljallangan, ya'ni. Har bir muammo uchun o'zining (yangi) Tyuring mashinasi yoziladi.

MUHARRIATDAN

Maqolada keltirilgan barcha muammolarni oddiygina daftarda ma'lumot chizig'i va jadval dasturini chizish orqali hal qilish mumkin. Ammo siz bu jarayonni yanada qiziqarli va vizual qilishingiz mumkin: mashinani amalga oshirishdan foydalaning - Post mashinasining tarjimoni va Radik Zartdinov tomonidan yaratilgan "Algo2000" Tyuring mashinasi. Dastur intuitiv interfeysga ega va uning talablari eng mo'tadil: IBM PC AT 486 yoki undan yuqori kompyuter, Windows 95/98/NT operatsion tizimi.

Keling, "Algo2000" qanday ishlashini umumiy ma'noda ko'rib chiqaylik.

Dastur menyusida elementni tanlang Tarjimon va qaysi mashina bilan ishlashni xohlayotganimizni ko'rsating (bizning holatlarimizda bu "Tyuring mashinasi").

Oldimizda Turing mashinasi maydoni paydo bo'ladi.

Endi siz tashqi alifboni o'rnatishingiz kerak, ya'ni. mos ravishda Tashqi alifbo unga qaysi belgilar kiritilganligini ko'rsating (agar string Tashqi alifbo ko'rinmasa, menyu elementini tanlashingiz kerak Ko'rish | Tashqi alifbo). Har bir belgi faqat bir marta belgilanishi mumkin. Tashqi alifboga kirishni tugatgandan so'ng, jadvalning birinchi ustuni hosil bo'ladi: u xuddi shu tartibda tashqi alifbodagi belgilar bilan to'ldiriladi. Tashqi alifboni tahrirlashda jadval avtomatik ravishda o'zgartiriladi: qatorlar kiritiladi, o'chiriladi yoki almashtiriladi.

Shuni unutmasligimiz kerakki, tashqi alifbo belgilarini qandaydir tarzda lenta bo'limlariga joylashtirishingiz kerak (barcha bo'limlarni bo'sh qoldirishingiz mumkin) va vagonni bo'limlardan birining qarshisiga qo'ying, ya'ni. dasturni va mashinaning ba'zi holatini o'rnatishingiz kerak.

Endi siz to'g'ridan-to'g'ri muammoni hal qilish algoritmini yozishga o'tishingiz mumkin. U jadval shaklida ko'rsatilgan: ichki alifbo belgilari yuqori satrning har bir ustuniga va birinchi ustunning har bir satriga tashqi alifbo belgilari kiritiladi. Buyruqlar boshqa ustunlar va satrlar kesishmasidagi katakchalarga joylashtiriladi. Agar biron-bir satr va ustunning kesishmasida biz bo'sh katakka ega bo'lsak, bu ichki holatda bu belgini topib bo'lmasligini anglatadi.

Misol uchun, agar birinchi son ikkinchidan katta ekanligi ma'lum bo'lsa va ular o'rtasida minus belgisi mavjud bo'lsa, ikkita musbat (o'nlik sanoq sistemasida) orasidagi farqni topish algoritmini yaratamiz.

Dastur maydoni quyidagicha ko'rinadi:

Har bir katakdagi buyruq formati aKq. Bu yerga:
a - joriy katakning yangi mazmuni (joriy katakka kiritilgan tashqi alifboning yangi belgisi), K - Tyuring mashinasining lenta mexanizmi buyrug'i (chap, o'ng, to'xtash), q - yangi ichki holat. Tyuring mashinasi.

Tugma dasturni ishga tushiradi. Agar ijro to'xtatilmagan bo'lsa, u har doim Q0 nol ichki holatidan boshlanadi.

Dasturni bosqichma-bosqich bajarish mumkin. Buning uchun asboblar panelidagi tugmani bosing (agar tugmalar ko'rinmasa, menyu bandini tanlashingiz kerak. Ko'rish | Asboblar paneli) yoki asosiy menyudan tanlang Boshlash | Qadam ba qadam. Agar siz dasturning bajarilishini to'liq to'xtatib qo'yishingiz kerak bo'lsa, bu asboblar panelidagi tugma yoki asosiy menyu yordamida amalga oshirilishi mumkin ( Boshlash | Bekor qilish). Menyu elementi Tezlik dasturni bajarish tezligini sozlash imkonini beradi.

Dastur "To'xtatish" buyrug'iga duch kelmaguncha yoki biron bir xatolik yuzaga kelguncha ishlashni davom ettiradi.

Tarjimon dasturi bilan ishlashda savollaringiz bo'lsa, yordam fayliga murojaat qiling Algo2000.hlp. U, shuningdek, "Algo2000" dasturining o'zini "Informatika" gazetasining veb-saytida topish mumkin. http://inf.1september.ru"Yuklab olish" bo'limida.

Sun'iy intellekt (AI, inglizcha: Sun'iy intellekt, AI) - aqlli mashinalarni, ayniqsa aqlli kompyuter dasturlarini yaratish fan va texnologiyasi. AI inson intellektini tushunish uchun kompyuterlardan foydalanishga o'xshash vazifa bilan bog'liq, lekin biologik jihatdan ishonchli usullar bilan cheklanib qolmaydi.

Sun'iy intellekt nima

Intellekt(lot. intellectus — sezish, idrok etish, tushunish, tushunish, tushuncha, aql) yoki aql — psixikaning yangi vaziyatlarga moslasha olish, tajriba asosida oʻrganish va eslab qolish, tushunish va qoʻllash qobiliyatidan iborat sifati. mavhum tushunchalar va atrof-muhitni boshqarish uchun o'z bilimlaridan foydalanish. Aql-idrok - bu insonning barcha kognitiv qobiliyatlarini birlashtiradigan umumiy bilish va qiyinchiliklarni hal qilish qobiliyati: sezish, idrok etish, xotira, tasvirlash, fikrlash, tasavvur qilish.

1980-yillarning boshlarida. Hisoblash bo'yicha olimlar Barr va Faygenbaum sun'iy intellektning (AI) quyidagi ta'rifini taklif qilishdi:

Keyinchalik, bir qator algoritmlar va dasturiy ta'minot tizimlari sun'iy intellekt deb tasniflana boshladi, ularning o'ziga xos xususiyati shundaki, ular ba'zi muammolarni hal qilish haqida o'ylayotgan odam kabi hal qila oladi.

AIning asosiy xususiyatlari tilni tushunish, o'rganish va fikrlash va, eng muhimi, harakat qilish qobiliyatidir.

AI - bu sifat va tez rivojlanayotgan tegishli texnologiyalar va jarayonlar majmuasi, masalan:

• tabiiy tildagi matnni qayta ishlash
• ekspert tizimlari
• virtual agentlar (chatbotlar va virtual yordamchilar)
• tavsiya tizimlari.

Sun'iy intellektni rivojlantirish milliy strategiyasi

• Asosiy maqola: Sun'iy intellektni rivojlantirish milliy strategiyasi

AI tadqiqoti

• Asosiy maqola: Sun'iy intellekt tadqiqotlari

AIda standartlashtirish

2019: ISO/IEC ekspertlari rus tilida standart ishlab chiqish taklifini qo‘llab-quvvatladilar

2019-yil 16-aprelda maʼlum boʻlishicha, sunʼiy intellekt sohasida standartlashtirish boʻyicha ISO/IEC quyi qoʻmitasi RVC asosida yaratilgan “Kiber-fizik tizimlar” texnik qoʻmitasining “Sun’iy intellekt”ni rivojlantirish boʻyicha taklifini qoʻllab-quvvatlagan. standart. Tushunchalar va terminologiya” asosiy inglizcha versiyasiga qo'shimcha ravishda rus tilida.

Terminologik standart “Sun’iy intellekt. Tushunchalar va atamalar" sun'iy intellekt sohasidagi xalqaro me'yoriy-texnik hujjatlarning butun oilasi uchun asosiy hisoblanadi. Ushbu hujjat atamalar va ta'riflarga qo'shimcha ravishda elementlarga ega tizimlarni qurishning kontseptual yondashuvlari va tamoyillarini, AI va boshqa end-to-end texnologiyalari o'rtasidagi munosabatlarning tavsifini, shuningdek, tartibga solish va texnik tartibga solishning asosiy tamoyillari va asoslarini o'z ichiga oladi. sun'iy intellekt.

ISO/IEC tegishli quyi qoʻmitasining Dublindagi yigʻilishi yakunlari boʻyicha ISO/IEC ekspertlari Rossiya delegatsiyasining sunʼiy intellekt sohasida bir vaqtning oʻzida nafaqat ingliz tilida, balki rus tilida ham terminologik standart ishlab chiqish taklifini qoʻllab-quvvatladi. Hujjat 2021-yil boshida tasdiqlanishi kutilmoqda.

Uchrashuv davomida ISO/IEC ekspertlari, shuningdek, Rossiya hammuharrir sifatida ishtirok etuvchi “Axborot texnologiyalari – Sun’iy intellekt (AI) – AI tizimlari uchun hisoblash yondashuvlariga umumiy nuqtai” xalqaro hujjati loyihasini ishlab chiqishni qo‘llab-quvvatladi. Hujjatda tizimlarning asosiy xarakteristikalari, algoritmlari va yondashuvlari tavsiflangan sun’iy intellekt tizimlarining joriy holati haqida umumiy ma’lumot, shuningdek, sun’iy intellekt sohasidagi ixtisoslashtirilgan ilovalar misollari keltirilgan. Ushbu hujjat loyihasini ishlab chiqish quyi qo‘mita tarkibida maxsus yaratilgan 5-“AI tizimlarining hisoblash yondashuvlari va hisoblash xarakteristikalari” ishchi guruhi tomonidan amalga oshiriladi (SC 42 Ishchi guruhi 5 “AI tizimlarining hisoblash yondashuvlari va hisoblash xarakteristikalari”).

Sun'iy intellekt texnologiyalari raqamli iqtisodiyotning turli sohalarida keng talabga ega. Ulardan to‘liq miqyosda amaliy foydalanishga to‘sqinlik qilayotgan asosiy omillar qatorida normativ-huquqiy bazaning yetarli darajada rivojlanmaganligi ham bor. Shu bilan birga, texnologiyani qo'llashning belgilangan sifatini va tegishli iqtisodiy samarani ta'minlaydigan yaxshi ishlab chiqilgan me'yoriy-texnik bazadir.

Sun'iy intellekt sohasida RVC asosidagi TC Cyber-Physical Systems bir qator milliy standartlarni ishlab chiqmoqda, ularni tasdiqlash 2019 yil oxiri - 2020 yil boshi uchun rejalashtirilgan. Bundan tashqari, bozor ishtirokchilari bilan birgalikda 2020 va undan keyingi yillar uchun Milliy standartlashtirish rejasini (NSP) shakllantirish ustida ish olib borilmoqda. "Kiber-fizik tizimlar" TC manfaatdor tashkilotlarning hujjatlarni ishlab chiqish bo'yicha takliflariga ochiq.

2018 yil: Kvant kommunikatsiyalari, AI va aqlli shahar sohasida standartlarni ishlab chiqish

2018-yil 6-dekabrda RVC asosidagi “Kiber-fizik tizimlar” texnik qo‘mitasi “SafeNet” hududiy muhandislik markazi bilan birgalikda Milliy texnologiya tashabbusi (NTI) va raqamli iqtisodiyot bozorlari uchun standartlar to‘plamini ishlab chiqishni boshladi. 2019-yilning martiga qadar kvant aloqalari sohasida texnik standartlashtirish hujjatlarini ishlab chiqish rejalashtirilgan va, deb xabar berdi RVC. Ko'proq o'qish.

Sun'iy intellektning ta'siri

Insoniyat tsivilizatsiyasining rivojlanishi uchun xavf

Iqtisodiyot va biznesga ta'siri

• Sun'iy intellekt texnologiyalarining iqtisodiyot va biznesga ta'siri

Mehnat bozoriga ta'siri

Sun'iy intellektning tarafkashligi

AI amaliyoti (mashina tarjimasi, nutqni aniqlash, tabiiy tilni qayta ishlash, kompyuterni ko'rish, avtomatlashtirilgan haydash va boshqalar) asosida chuqur o'rganish yotadi. Bu neyron tarmoq modellaridan foydalanish bilan tavsiflangan mashinani o'rganishning kichik to'plami bo'lib, ular miyaning ishiga taqlid qiladi, shuning uchun ularni AI deb tasniflash qiyin bo'ladi. Har qanday neyron tarmoq modeli katta ma'lumotlar to'plamlarida o'qitiladi, shuning uchun u ba'zi "ko'nikmalar" ga ega bo'ladi, lekin ulardan qanday foydalanishi yaratuvchilar uchun noaniq bo'lib qolmoqda, bu oxir-oqibat ko'plab chuqur o'rganish ilovalari uchun eng muhim muammolardan biriga aylanadi. Sababi, bunday model tasvirlar bilan rasmiy ravishda ishlaydi, nima qilishini tushunmaydi. Bunday tizim AImi va mashinani o'rganishga asoslangan tizimlarga ishonish mumkinmi? Oxirgi savolga javobning ta'siri ilmiy laboratoriyadan tashqariga chiqadi. Shu sababli, AI tarafkashligi deb ataladigan hodisaga ommaviy axborot vositalarining e'tibori sezilarli darajada kuchaydi. Uni "AI tarafkashlik" yoki "AI tarafkashlik" deb tarjima qilish mumkin. Ko'proq o'qish.

Sun'iy intellekt texnologiyalari bozori

Rossiyadagi AI bozori

Global AI bozori

AIni qo'llash sohalari

Sun'iy intellektni qo'llash sohalari ancha keng bo'lib, tanish texnologiyalarni ham, ommaviy qo'llashdan uzoq bo'lgan yangi paydo bo'layotgan sohalarni ham qamrab oladi, boshqacha qilib aytganda, bu changyutgichlardan tortib kosmik stantsiyalargacha bo'lgan yechimlarning butun spektridir. Siz ularning barcha xilma-xilligini rivojlanishning asosiy nuqtalari mezoniga ko'ra ajratishingiz mumkin.

AI monolit mavzu sohasi emas. Bundan tashqari, sun'iy intellektning ba'zi texnologik sohalari bir vaqtning o'zida iqtisodiyotning aksariyat sohalariga xizmat ko'rsatish bilan birga, iqtisodiyotning yangi kichik tarmoqlari va alohida sub'ektlar sifatida paydo bo'ladi.

Sun'iy intellektdan foydalanishning rivojlanishi iqtisodiyotning klassik tarmoqlarida texnologiyalarni butun qiymat zanjiri bo'ylab moslashishiga olib keladi va ularni o'zgartiradi, bu logistikadan tortib kompaniya boshqaruvigacha bo'lgan deyarli barcha funktsiyalarni algoritmlashtirishga olib keladi.

Mudofaa va harbiy ishlar uchun sun'iy intellektdan foydalanish

Ta'limda foydalanish

Biznesda AIdan foydalanish

Firibgarlikka qarshi kurashda AI

2019-yilning 11-iyulida maʼlum boʻldiki, bor-yoʻgʻi ikki yildan soʻng sunʼiy intellekt va mashinani oʻrganish firibgarlikka qarshi kurashda 2019-yil iyuliga qaraganda uch baravar koʻproq foydalaniladi. Bunday ma'lumotlar SAS va Sertifikatlangan firibgarlik tekshiruvchilari assotsiatsiyasi (ACFE) tomonidan birgalikda o'tkazilgan tadqiqot davomida olingan. 2019 yil iyul holatiga ko'ra, so'rovda qatnashgan tashkilotlarning 13 foizida firibgarlikka qarshi bunday vositalar allaqachon qo'llanilgan va yana 25 foizi ularni kelgusi bir-ikki yil ichida amalga oshirishni rejalashtirishgan. Ko'proq o'qish.

Elektr energiyasi sanoatida AI

• Loyihalash darajasida: ishlab chiqarish va energiya resurslariga bo'lgan talabni prognozlashni takomillashtirish, energiya ishlab chiqaruvchi uskunalarning ishonchliligini baholash, talab oshib ketganda ishlab chiqarishni avtomatlashtirish.
• Ishlab chiqarish darajasida: uskunalarga profilaktik xizmat ko'rsatishni optimallashtirish, ishlab chiqarish samaradorligini oshirish, yo'qotishlarni kamaytirish, energiya resurslarini o'g'irlashning oldini olish.
• Rag'batlantirish darajasida: kunning vaqtiga va dinamik hisob-kitoblarga qarab narxlarni optimallashtirish.
• Xizmat ko'rsatish darajasida: eng foydali yetkazib beruvchini avtomatik tanlash, batafsil iste'mol statistikasi, avtomatlashtirilgan mijozlarga xizmat ko'rsatish, mijozning odatlari va xatti-harakatlarini hisobga olgan holda energiya sarfini optimallashtirish.

Ishlab chiqarishda AI

• Dizayn darajasida: yangi mahsulotni ishlab chiqish samaradorligini oshirish, etkazib beruvchilarni avtomatlashtirilgan baholash va ehtiyot qismlarga bo'lgan talablarni tahlil qilish.
• Ishlab chiqarish darajasida: vazifalarni bajarish jarayonini takomillashtirish, yig'ish liniyalarini avtomatlashtirish, xatolar sonini kamaytirish, xom ashyoni etkazib berish muddatlarini qisqartirish.
• Rag'batlantirish darajasida: qo'llab-quvvatlash va texnik xizmat ko'rsatish hajmini prognozlash, narxlarni boshqarish.
• Xizmat ko‘rsatish darajasida: avtotransport parki yo‘nalishlarini rejalashtirishni takomillashtirish, park resurslariga bo‘lgan talab, xizmat ko‘rsatuvchi muhandislarni tayyorlash sifatini oshirish.

Banklarda AI

• Shaklni aniqlash - ishlatiladi, shu jumladan. filiallarda mijozlarni tanib olish va ularga ixtisoslashgan takliflarni etkazish.

Transportda AI

• Avtomobil sanoati inqilob yoqasida: uchuvchisiz haydash davrining 5 ta muammosi

Logistika sohasida AI

Pivo tayyorlashda AI

Sud tizimida AI

Sun'iy intellekt sohasidagi ishlanmalar sud-huquq tizimini tubdan o'zgartirishga, uni adolatli va korruptsion sxemalardan xoli qilishga yordam beradi. Bu fikrni 2017 yilning yozida texnika fanlari doktori, Artezio kompaniyasi texnik maslahatchisi Vladimir Krilov bildirgan.

Olimning fikricha, sun’iy intellekt sohasidagi mavjud yechimlarni iqtisodiyot va jamiyat hayotining turli jabhalarida muvaffaqiyatli qo‘llash mumkin. Mutaxassisning ta'kidlashicha, AI tibbiyotda muvaffaqiyatli qo'llanilmoqda, ammo kelajakda u sud tizimini butunlay o'zgartirishi mumkin.

"Har kuni sun'iy intellekt sohasidagi o'zgarishlar haqidagi xabarlarni ko'rib, siz ushbu sohadagi tadqiqotchilar va ishlab chiquvchilarning cheksiz tasavvurlari va samaradorligidan hayratda qolasiz. Ilmiy tadqiqotlar haqidagi hisobotlar doimiy ravishda bozorga kirib kelayotgan yangi mahsulotlar haqidagi nashrlar va turli sohalarda AIdan foydalanish natijasida olingan ajoyib natijalar haqidagi hisobotlar bilan aralashib ketadi. Agar biz ommaviy axborot vositalarida sezilarli shov-shuv bilan birga kutilayotgan voqealar haqida gapiradigan bo'lsak, unda AI yana yangiliklar qahramoniga aylanadi, men texnologik prognozlar qilishda xavf tug'dirmayman. Taxmin qilishim mumkinki, keyingi voqea sun'iy intellekt ko'rinishidagi adolatli va buzilmaydigan juda vakolatli sudning paydo bo'lishi bo'ladi. Bu, aftidan, 2020-2025 yillarda sodir bo'ladi. Va bu sudda sodir bo'ladigan jarayonlar kutilmagan mulohazalarga va ko'pchilikning insoniyat jamiyatini boshqarish jarayonlarining aksariyat qismini AIga o'tkazish istagiga olib keladi.

Olim sud-huquq tizimida sun’iy intellektdan foydalanishni qonunchilikda tenglik va adolatni rivojlantirish yo‘lidagi “mantiqiy qadam” sifatida e’tirof etadi. Mashina razvedkasi korruptsiya va hissiyotlarga tobe emas, qonunchilik bazasiga qat'iy rioya qilishi va ko'plab omillarni, shu jumladan nizo tomonlarini tavsiflovchi ma'lumotlarni hisobga olgan holda qaror qabul qilishi mumkin. Tibbiyot sohasiga o'xshab, robot sudyalari davlat xizmatlari omborlaridan katta ma'lumotlar bilan ishlashlari mumkin. Buni taxmin qilish mumkin

Musiqa

Rasm

2015-yilda Google jamoasi neyron tarmoqlarni sinovdan o‘tkazdi va ular o‘z-o‘zidan tasvirlar yarata oladimi yoki yo‘qmi. Keyin sun'iy intellekt juda ko'p turli xil rasmlardan foydalangan holda o'qitildi. Biroq, mashinadan biror narsani o'z-o'zidan tasvirlash "so'ralganda", u atrofimizdagi dunyoni qandaydir g'alati tarzda talqin qilgani ma'lum bo'ldi. Misol uchun, dumbbelllarni chizish vazifasi uchun ishlab chiquvchilar metall inson qo'llari bilan bog'langan tasvirni oldilar. Bu, ehtimol, mashg'ulot bosqichida gantelli tahlil qilingan rasmlarda qo'llar borligi va neyron tarmoq buni noto'g'ri talqin qilganligi sababli sodir bo'lgan.

2016-yilning 26-fevralida San-Fransiskodagi maxsus kimoshdi savdosida Google vakillari sun’iy intellekt yordamida yaratilgan psixikaviy rasmlardan taxminan 98 ming dollar yig‘ishdi.Ushbu mablag‘lar xayriya ishlariga o‘tkazildi. Avtomobilning eng muvaffaqiyatli suratlaridan biri quyida keltirilgan.

Google sun'iy intellekti tomonidan chizilgan rasm.

Biz buni har doim ko'ramiz. “RESTful” bu, “REST” protokoli va hokazo. Biroq, ko'pchiligimiz bu nimani anglatishini aniq tushunmaymiz. Biz ushbu maqolada aynan shu bo'shliqni tuzatamiz!

Davlat

Informatika fanida (va ma'lum darajada matematikada) davlat tushunchasi mavjud. Muayyan tizim holatda bo'lishi mumkin A yoki u holatda bo'lishi mumkin B yoki u boshqa davlatlar to'plami bo'lishi mumkin (odatda, shtatlarning cheklangan ro'yxati).

Misol tariqasida aytaylik, agar harorat 80 darajadan yuqori bo'lsa, ekranni qizil rangga aylantiradigan yoki harorat 80 darajadan past bo'lsa, uni ko'k rangga aylantiradigan dastur yozasiz.

Birinchi holatni (harorat > 80 daraja) “A” va ikkinchi holatni (harorat< 80 degrees) state “B”. We’ll call the middling state (temp = 80 degrees) state “C”. As we can see, we have defined behaviours of the programs at state A and state B, but not at state C.

Bu davlatning umumiy g'oyasi. Mana hamma narsani biladigan Vikipediya tomonidan berilgan ta'rif:

"Informatika va avtomatlar nazariyasida raqamli mantiqiy sxema yoki kompyuter dasturining holati sxema yoki dastur tomonidan ishlatiladigan vaqtning ma'lum bir nuqtasida saqlangan barcha ma'lumotlar uchun texnik atamadir."

Muxtasar qilib aytganda, bu dastur hisobga oladigan barcha ma'lumotlarning bir xil "birikmasi".

Endi biz asosan nazariy va foydasiz deb hisoblangan narsaga sakrab chiqamiz va keyin qandaydir tarzda RESTning juda amaliy dunyosiga ulanamiz.

Tyuring mashinalari

Alan Turing ismli bir odam bor edi va u juda aqlli matematik edi va kompyuterlarning ishlashiga qiziqardi. U xayoliy kompyuterni (ko'rib turganimizdek, aslida qurishning iloji yo'q) o'ylab topdi.

Kompyuter cheksiz uzunlikdagi lentadan iborat bo'lib, uning boshi orqali lenta o'tadi. Lentada "hujayralar" mavjud bo'lib, unga ma'lumot yozilishi mumkin (raqamlar, ranglar va h.k.) Lenta ushbu mashina orqali chap yoki o'ngga bir vaqtning o'zida bir hujayradan o'tadi. Mashina lentada bo'lgan narsalarni skanerdan o'tkazadi va u qanday holatda ekanligiga qarab, lentaga biror narsa yozadi, keyin esa uning holatini o'zgartiradi.

Bu ta'rifni to'liq o'z ichiga olishi uchun uni qayta o'qib chiqishingiz mumkin. G‘oyaning mohiyati shundan iboratki, u xolatga qarab xotirada amallar bajaradi va xotiradagi amallarga ko‘ra holatlar o‘zgaradi.

Bu juda befoyda nazariy fantaziyaga o'xshaydi (garchi, buning hech qanday yomon joyi yo'q, agar odamlar nima uchun nazariy narsalarga qiziqish bildirishlarini qiziqtirgan bo'lsangiz, "Matematik uzr"ni o'qing). Biroq, bu kompyuter fanining eng asosiy tushunchasi bo'lishi mumkin.

Turing mashinasidan foydalanib, kompyuter olimlari kompyuterda ishlashi mumkin bo'lgan har qanday algoritm haqida fikr yurita oladilar. Darhaqiqat, Tyuring mashinasi kompyuter fanida ko'plab yutuqlarga olib keldi.

Shunday qilib, Tyuring mashinasi bizga shuni ko'rsatadiki, bugungi kunda (eslatma: men grafiklarni qisqartirish protsessorlari haqida o'ylamayman), kompyuter fanida tom ma'noda hamma narsa davlat g'oyasiga asoslangan.

Tarmoq

Keyin internet tushunchasi paydo bo'ldi. Bu paketlar o'z manziliga yetguncha norozi bo'lishi mumkin bo'lgan joy. Umuman olganda, hech qachon to'liq ma'lumotlarning to'liq uzatilishi bo'lmaydi.

Mijozlar tezda kirib, ikki baravar tez chiqib ketishadi. Shunday qilib, tarmoq tizimida ishlashda mijoz holatini ushlab turish unchalik ma'noga ega emas.

Bundan tashqari, umuman olganda, tizimda juda ko'p holatni ushlab turish katta og'riqlarga sabab bo'ldi (bu funtsitonal dasturlash tillariga ham olib keladi, bu sizning kodingizning katta qismida davlatni ushlab turishga imkon bermaydi).

Endi odamlarga Internet uchun tarmoq protokoli kerak edi, u oddiy, tez va juda dinamik muhitda davlatni yaxshi boshqaradigan.

Ushbu protokol HTTP edi va HTTP ustida ishlash natijasida paydo bo'lgan nazariya REST deb nomlandi.

DEST

REST so'zining qisqartmasi: Davlatni vakillik o'tkazish. Bu "mijoz-server" kontseptsiyasi asosida qurilgan tizim bo'lib, uning ustiga tarmoqlar quriladi (yaxshi, peer to peer tipidagi tarmoqlar ham mavjud, ammo mijoz-sever, shubhasiz, eng oddiy va eng sinovdan o'tgan arxitektura). Ismning o'zi biroz chalg'ituvchi, chunki server butunlay davlatsiz!

"RESTful" deb da'vo qiladigan barcha tizimlar amal qilishi kerak bo'lgan bir nechta cheklovlar mavjud.

Avvalo, u kerak mijoz-server tizimi bo'lishi. Ushbu cheklov o'tmishda o'zgartirilgan, ammo rasmiy ta'rifda (va REST nazariyasi to'g'ri ishlashi uchun) bizda mijozlar ulanishi mumkin bo'lgan serverlar mavjud.

Server to'liq fuqaroligi yo'q. Bu shuni anglatadiki, har bir mijozning serverga so'rovi uchun serverda hech qanday holat saqlanmaydi. Misol uchun, agar mijoz (HTTP yordamida) indeks sahifasini so'rasa va keyinchalik /user/uy sahifasini so'rasa, ikkita so'rov bir-biridan butunlay mustaqil bo'ladi. Mijoz ushlab turadi hammasi tizimning holati (shuning uchun bizda orqaga tugmasi bor).

Serverdan kelgan javoblar keshlangan bo'lishi kerak, ya'ni mijozlar (masalan, veb-brauzerlar) keshdan foydalanishlari uchun serverda javoblarni keshlangan yoki yo'qligini aniqlaydigan tizim bo'lishi kerak.

Va nihoyat, biz oddiy, toza va bir xil interfeysga ega bo'lishimiz kerak. Agar siz HTTP qanday ishlashi bo'yicha tajribaga ega bo'lsangiz, so'rov shakllari juda oddiy. Ular, asosan, tahlil qilish juda oson va inson o'qiy oladigan formatga ega fe'llar va otlardir. SOAP tarmoq protokolining yana bir shakli bo'lib, bu talabni mutlaqo bekor qiladi va shuning uchun u bilan ishlash ko'pincha juda qiyin.

Keling, bu xususiyatlarning barchasi birgalikda yig'ilganda nimani anglatadi?

RESTning oqibatlari

Ular bizga toza ajratilgan, kengaytiriladigan va osongina tuzatiladigan tizimlarni yaratishga imkon beradi.

Keling, birinchi navbatda serverda fuqaroligi yo'qligini cheklashni ko'rib chiqaylik, bu eng muhim (va, shuningdek, ko'pincha RESTful arxitekturalari tomonidan buziladigan) bit bo'lishi mumkin.

Yuqorida aytib o'tilganidek, mijoz-server arxitekturasida mijozlar juda chaqqon; ular so'rovlarni yoqishadi va birdan barcha aloqalarni o'ldiradilar. Bunday holatda, serverdagi mijoz haqidagi holatni saqlamaslik ancha toza. Bu HTTP serverlari haqida juda oson fikr yuritish imkonini beradi; mijozning har bir so'roviga u butunlay yangi mijoz sifatida qaralishi mumkin va bu bir tiyin ham farq qilmaydi.

Ikkinchidan, keshlangan javoblar mijozlarning ma'lumotlarni tezroq olishlarini anglatadi, chunki ko'pincha ma'lumotlar mijozning xotirasidan olinishi mumkin. Bu darhol mijozning ishlashini va ba'zi tizimlarda serverning kengayish qobiliyatini oshiradi.

Yagona interfeys eng muhimi bo'lishi mumkin. SOAP bilan ishlaganimdan so'ng, men sizga shuni aytishim mumkinki, HTTP-ning oddiy formati server kodini disk raskadrovka qilishga urinayotganda barakadir va xuddi shu narsa boshqa RESTful tizimlariga ham tegishli.

RESTful tizimini loyihalash

Aytaylik, biz birja kotirovkalarini qaytaradigan serverni yozishimiz kerak, shuningdek monitoring qilish uchun birja kotirovkalari ro'yxatini saqlab qolishimiz kerak (va foydalanuvchi ro'yxatga qo'shishi yoki uni o'chirishi mumkin).

Bu RESTful tizimi uchun juda yaxshi holat, chunki u mijozning identifikatoridan mustaqil. Shuning uchun, server mijoz haqida hech qanday holatda bo'lishi shart emas.

Biz avvalo protokol tili qanday ishlashini aniqlashdan boshlaymiz (bir oz HTTP ning GET va POST fe'llariga o'xshaydi):

GETQUOTE ticker- ma'lum bir aktsiya uchun narxni beradi
ADDTICKER ticker- berilgan aktsiyani ro'yxatga qo'shadi
GETLIST - ro'yxatdagi aktsiyalarning vergul bilan ajratilgan ro'yxatini oladi

Bu juda oddiy protokol va serverda hech qanday holatni saqlamaydi. Endi keshlash masalasiga kelsak, biz narxlarni har soatda yangilaymiz, deyishimiz mumkin, shuning uchun bir soatdan ko'proq eski keshlar tashlab yuborilishi mumkin.

Va buning uchun hamma narsa bor! Albatta, biz buni hali ham amalga oshirishimiz kerak, ammo tizimning umumiy g'oyasi juda oddiy va toza!

Xulosa

Umid qilamanki, ushbu maqola sizga REST haqida yaxshi tushuncha berdi.

Bundan tashqari, umid qilamanki, siz endi "RESTful" atamasini juda ko'p tashlaydigan odamlarni chaqira olasiz - men sizga ayta olaman, ular juda ko'p!

TURING

TURING(Tyuring) Alan (1912-54), ingliz matematigi va mantiqi, keyinchalik kompyuter texnologiyalarining asosiga aylangan nazariyalarni shakllantirgan. 1937 yilda u o'ylab topdi Tyuring mashinasi - kiritish buyruqlari to'plamini o'zgartirishga qodir bo'lgan faraziy mashina. Bu zamonaviy kompyuterlarning asoschisi edi. Turing, shuningdek, Gödelning to'liqsizlik teoremasining muqobil va sodda isbotini berish uchun kompyuter g'oyasidan foydalangan. Turing Ikkinchi jahon urushi paytida Germaniya tomonidan qo'llanilgan murakkab shifrlash usuli Enigma ni hal qilishda katta rol o'ynadi. 1948 yilda u dunyodagi birinchi kompyuterlardan birini yaratishda ishtirok etdi. 1950 yilda u o'ylab topdi Tyuring testi - Bu kompyuterning "fikrlash" qobiliyatini sinovdan o'tkazishi kerak edi. Asosan, odam mashina bilan suhbatni boshqa odam bilan suhbatdan ajrata olmasligini aytdi. Bu ish SUN'IY INTELLEKTni yaratishga yo'l ochdi. Tyuring nazariy biologiya bilan ham shug'ullangan. Ishda "Morfogenezning kimyoviy asoslari"(1952) biologiyada organizmlarning turli strukturaviy naqshlarining kelib chiqishini tavsiflovchi modelni taklif qildi. O'shandan beri bunday modellar ko'pincha tabiatda kuzatilgan ko'plab tizimlarni tavsiflash va tushuntirish uchun ishlatilgan. Tyuring gomoseksuallikda rasman ayblanganidan keyin o'z joniga qasd qildi.

Ilmiy-texnik entsiklopedik lug'at.

Boshqa lug'atlarda "TURING" nima ekanligini ko'ring:

Tyuring, Alan Mathison Alan Tyuring Sakvill bog'idagi Alan Mathison Tyuring yodgorligi Tug'ilgan sana ... Vikipediya

- (Tyuring) Alan Matison (1912 54), ingliz matematigi. 1936-1937 yillarda u algoritmning mavhum ekvivalenti yoki hisoblanuvchi funksiyaning matematik kontseptsiyasini kiritdi, u keyinchalik Tyuring mashinasi deb ataldi... Zamonaviy ensiklopediya

- (Tyuring), Alan Matheson (1912 yil 23 iyun - 1954 yil 7 iyun) - ingliz. mantiqchi va matematik. 1936—37-yillarda u hisoblashning ideallashtirilgan mashina modelini taklif qildi. jarayon - hisob-kitoblarni amalga oshiruvchi shaxsning harakatlariga yaqin bo'lgan hisoblash sxemasi va ilgari surilgan... ... Falsafiy entsiklopediya

Turing A.- Tyuring A. Ingliz matematigi. Mavzular axborot xavfsizligi UZ Turing… Texnik tarjimon uchun qo'llanma

Alan Turing Sakvill bog'idagi Alan Turing yodgorligi Tug'ilgan sanasi: 1912 yil 23 iyun Tug'ilgan joyi: London, Angliya O'lim sanasi: 1954 yil 7 iyun ... Vikipediya

Turing- ingliz matematigi Alan M.Tyuring, kompyuter texnikasining mantiqiy asoslarini yaratuvchilardan biri, xususan, algoritmning rasmiy ta'riflaridan birini bergan; simulyatsiya qila oladigan kompyuterlar sinfi mavjudligini isbotladi ... ... Lem dunyosi - lug'at va qo'llanma

- (Tyuring) Alan Matison (23.6.1912, London, 7.6.1954, Uilmslou, Manchester yaqinida), ingliz matematigi. Qirollik jamiyati aʼzosi (1951). Kembrij universitetini tugatgach (1935) Prinstonda doktorlik dissertatsiyasi ustida ishladi... ... Buyuk Sovet Entsiklopediyasi

Turing A.M.- TURING (Tyuring) Alan Matison (191254), ingliz. matematik. Asosiy tr. matematikada mantiq, hisoblaydi. matematika. 1936-yilda 37 matematika fanini kiritdi. algoritmning mavhum ekvivalenti yoki hisoblanuvchi funksiya tushunchasi, keyin chaqiriladi. arava... Biografik lug'at

- (to'liq Alan Mathison Turing) (1912 yil 23 iyun, London 1954 yil 7 iyun, Uilmslou, Buyuk Britaniya), ingliz matematigi, matematik mantiq va hisoblash matematikasi bo'yicha asarlar muallifi. 1936-1937 yillarda u matematik tushunchani... ensiklopedik lug'at

Kitoblar

• Mashina o'ylay oladimi? Avtomatlarning umumiy va mantiqiy nazariyasi. 14-son, Turing A., Ilk tafakkur kompyuterlarining yaratilishiga asos bo'lgan Alan Tyuring va Jon fon Neymanning asarlarini o'z ichiga olgan ushbu kitob falsafiy-kibernetika klassikasiga tegishli... Kategoriya: Ma'lumotlar bazalari Seriya: Sun'iy fanlar Nashriyotchi: URSS, Ishlab chiqaruvchi: URSS,
• Mashina o'ylay oladimi? Avtomatlarning umumiy va mantiqiy nazariyasi. 14-son, Turing A., EHMlarning birinchi “fikrlash mashinalari”ning yaratilishiga asos bo‘lgan Alan Tyuring va Jon fon Neymanning asarlarini o‘z ichiga olgan ushbu kitob falsafiy-kibernetik klassikaga tegishli. yo'nalish... Kategoriya: