hisoblanuvchanlik

PPTX 6 pages 57.2 KB Free download

Page preview (5 pages)

Scroll down 👇
1 / 6
hisoblanuvlanchilik. primitiv rekursiv funksiyalar. minimallash operatori. hisoblanuvlanchilik. primitiv rekursiv funksiyalar. minimallash operatori. . rejalar: 1. hisoblanuvchanlik 2. primitiv rekursiv funksiyalar 3. minimallash operatori hisoblanuvchanlik normaliashtirish (norm alizatsiya) prinsipi. yuqorida keltirilgan 1- teorema va natija markov bo‘yicha qismiy hisoblanuvchi funksiya tushunchasi bilan qismiy rekursiv funksiya (xuddi shunday markov bo'yicha hisoblash bilan rekursivlik) tushunchasining ekvivalentligini ko‘rsatadi. 0 ‘z navbatida chyorch tezisi bo‘yicha hisoblanuvchanlik tushunchasi bilan rekursivlik tushunchasi (qismiy effektiv hisoblanuvchanlik tushunchasi qismiy rekursivlik tushunchasiga) ekvivalentdir. a.a.markov algoritmlar atamasida norm aliashtirish (norm alizatsiya) prinsipini yaratdi: a alfavitdagi har qanday algoritm a g a nisbatan a ustidagi biror normal algoritmga batamom ekvivalentdir. chyorch tezisi yordamida normaliashtirish prinsipining ekvivalentligi aniqlandi. haqiqatan ham, chyorch tezisi to‘g‘ri va a alfavitda u algoritm berilgan bo‘lsin. unga mos keladigan y/v funksiya qisman effektiv hisoblanuvchi bo‘ladi. u holda, chyorch tezisiga asosan, u /i qismiy rekursiv funksiyadir. demak, 2- teoremaga ko‘ra, u algoritm a ustidagi biror normal algoritmga a ga nisbatan …
2 / 6
bo ‘ladi f primitiv rekursiv funksiyaning ta’rifidan faqat boshlang'ich funksiyalarga qo'shimcha ravishda fl -operatorini qo'llashga ruxsat berilishi bilan farq qiladi. shuning uchun ham har qanday prim itiv rekursiv funksiya o ‘z navbatida qismiy rekursiv funksiya bo ‘ladi shunday qilib, har bir primitiv rekursiv funksiya qismiy rekursiv (rekursiv) funksiya bo'lgani uchun, qismiy rekursiv funksiyalar sinfi primitiv rekursiv funksiyalar sinfidan kengdir. qismiy rekursiv funksiya tushunchasi algoritmlar nazariyasining asosiy tushunchalaridan biridir. shuni ham ta’kidlab o'tamizki, birinchidan, har qanday qismiy rekursiv funksiyaning qiymati mexanik xarakterga ega bo‘lgan ma’lum bir protsedura yordamida hisoblanadi va bu protsedura bizning algoritm haqidagi intuitiv tasavvurimizga to'g'ri keladi. ikkinchidan, hozirgacha qanday muayyan algoritmlar yaratilgan bo‘lmasin, ular yordamida qiymatlari hisoblanuvchi sonli (arifmetik) funksiyalar albatta qismiy rekursiv funksiyalar bo‘lib chiqdilar. shuning uchun ham hozirgi paytda qismiy rekursiv funksiya tushunchasi algoritm tushunchasining ilmiy ekvivalenti sifatida qabul qilingan. buni birinchi bo‘lib, yuqorida ta’kidlab o‘tganimizdek, ilmiy tezis sifatida a.chyorch va s.klini o ‘rtaga tashladilar. xuddi …
3 / 6
tli x argumenti uchun f(x ,y) = 0 bo'ladigan u argumentlaming eng kichik qiymatlisini topish kerak bo‘lsin. masalaning yechimi x ga bog‘liq bo'lgani uchun / (dg,_u) = 0 bo'ladigan v ning eng kichik qiymati ham x ning funksiyasi bo‘ladi, ya’ni (4) ifoda quyidagicha o‘qiladi: « u shunday eng kichikki, f( x ,y ) = 0 ». xuddi shu tarzda ko‘p argumentli agar /(x , ,x 2 ,...,x n) funksiyani boshlang'ich funksiyalardan superpozitsiya, prim itiv rekursiya sxemasi va minimallash operatori ( /i -operatori) amallarini chekli son marta qo ‘hash natijasida hosil etish mumkin b o ‘isa, i holda / ( x p x,,...,xn) qismiy rekursiv (rekursiv) funksiya deb ataladi e`tiboringiz uchun rahmat!!! /docprops/thumbnail.jpeg
4 / 6
hisoblanuvchanlik - Page 4
5 / 6
hisoblanuvchanlik - Page 5

Want to read more?

Download all 6 pages for free via Telegram.

Download full file

About "hisoblanuvchanlik"

hisoblanuvlanchilik. primitiv rekursiv funksiyalar. minimallash operatori. hisoblanuvlanchilik. primitiv rekursiv funksiyalar. minimallash operatori. . rejalar: 1. hisoblanuvchanlik 2. primitiv rekursiv funksiyalar 3. minimallash operatori hisoblanuvchanlik normaliashtirish (norm alizatsiya) prinsipi. yuqorida keltirilgan 1- teorema va natija markov bo‘yicha qismiy hisoblanuvchi funksiya tushunchasi bilan qismiy rekursiv funksiya (xuddi shunday markov bo'yicha hisoblash bilan rekursivlik) tushunchasining ekvivalentligini ko‘rsatadi. 0 ‘z navbatida chyorch tezisi bo‘yicha hisoblanuvchanlik tushunchasi bilan rekursivlik tushunchasi (qismiy effektiv hisoblanuvchanlik tushunchasi qismiy rekursivlik tushunchasiga) ekvivalentdir. a.a.markov algoritmlar atamasida norm aliashtirish (norm alizatsiy...

This file contains 6 pages in PPTX format (57.2 KB). To download "hisoblanuvchanlik", click the Telegram button on the left.

Tags: hisoblanuvchanlik PPTX 6 pages Free download Telegram