Algoritmik modellar. Algoritmning intuitiv tushunchasi va uni aniqlash zarurati. Tyuring mashinalari va ular orqali hisoblanuvchi funksiyalar

Аlgoritm – bu masala yechimini hosil qilish uchun boshlangʼich informatsiyada amalga oshirish kerak boʼlgan aniq belgilangan amallar ketma-ketligi.Algoritmning intuitiv, formal va kibernetik ta’riflari

Adabiyotlarda algoritmni "sub'ektning maqsadli harakati" sifatida tavsiflovchi bir qator ta'riflar berilgan. Bunday holda, sub'ekt tushunchasi ham individual, ham odamlar guruhini nazarda tutadi. Ushbu ta'rif odatda intuitiv deb nomlanadi. Maqsadga erishishga asoslangan qoidalar yoki retseptlar to'plami algoritm ijrochisining evristik qadamlarini inkor etmaydi. Algoritm tushunchasi algoritmni bajaruvchisi qandaydir qurilma, masalan, kompyuter yoki hozir aytilganidek, kompyuter degan taxmin asosida butunlay boshqacha bo'lib chiqadi.

Algoritm kompyuterni ishlash vaqtida boshqaradigan ko'rsatmalar yoki retseptlarni ishlab chiqish uchun asosdir. Biroq, biz ko'rsatmalarni kompyuterga uzatish uchun algoritmdan to'g'ridan-to'g'ri foydalana olmaymiz, chunki u tabiiy inson tilida yozilgan bo'lib, u mashina uchun tushunarsizdir. Kompyuter algoritmni tushunishi uchun u mashina tushunadigan tilga tarjima qilingan va aynan shunday algoritm mashina tilida yozilgan bo'lib, uni dastur deb atashadi.

Keling, kompyuter texnologiyasi tushunchasiga mos keladigan algoritmning ta'rifini beraylik: Algoritm - bu muammoning echimini topish uchun dastlabki ma'lumotlarda bajarilishi kerak bo'lgan aniq belgilangan harakatlar ketma-ketligi.

Mexanik ijrochiga imkon beradigan va evristik qadamlarni inkor etadigan algoritm ta'rifi kibernetik algoritm ta'rifi deb ataladi.

Algoritm kontseptsiyasini rasmiylashtirish

Ta'rif 1. Algoritm cheklangan yakuniy ketma-ketligini ko'rsatadigan retsept mumkin bo'lgan sinf uchun umumiy bo'lgan muammoni hal qilish uchun elementar operatsiyalar dastlabki ma'lumotlar.

D - masalaning dastlabki ma'lumotlarining domeni (to'plami), R esa mumkin bo'lgan natijalar to'plami bo'lsin, keyin algoritm 𝐃 → 𝐑 xaritasini amalga oshiradi. Ushbu displey to'liq bo'lmasligi mumkin.

Agar natija faqat ba'zi 𝑑 ∈ 𝐷 uchun olingan bo'lsa, algoritm qisman algoritm va agar barcha 𝑑 ∈ 𝐷 uchun to'g'ri natija olsa to'liq algoritm deyiladi.

Ta'rif 2. Algoritm - bu cheklangan vaqt ichida muammoni echish natijasiga erishish uchun ijrochining harakatlar tartibini tavsiflovchi aniq ko'rsatmalar to'plamidir.

Algoritmning aniq yoki bilvosita turli xil ta'riflari bir qator talablarni keltirib chiqaradi:

Algoritmda cheklangan miqdordagi elementar bajariladigan retseptlar bo'lishi kerak, ya'ni. yozuvning aniqligi talabini qondirish;

algoritm muammoni hal qilishda cheklangan sonli bosqichlarni bajarishi kerak, ya'ni. harakatlarning aniqligi talabini qondirish;

Barcha qabul qilinadigan kirish ma'lumotlari uchun algoritm bir xil bo'lishi kerak, ya'ni. universallik talabini qondirish;

• Algoritm qo'yilgan vazifaga nisbatan to'g'ri echimga olib kelishi kerak; to'g'rilik talabini qondirish.