Muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari universiteti farg’ona filial

MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI FARG’ONA FILIAL

651 20 guruh talabasi Ahmadjonov Sherbekning

“Dasturlash uslublari va paradigmalar “fanidan qilgan taqdimoti

Mavzu:

• Operatsion semantika 

Mantiqiy dasturlash ma'lumotlarni qayta ishlashni muvaffaqiyatli natija beradigan ta'riflarning ixtiyoriy tarkibini (tenglamalar, predikatlar shakllari) tanlashgacha qisqartiradi. Aynan formulalarni qayta ishlash asos bo'ladi - hisob-kitoblar formula bo'yicha operatsiya sifatida qabul qilinadi. Agar u bajarilmasa, ta'riflarning boshqa variantlari qidiriladi. LP tillarida namunalar bilan mos keladigan variantlarni to'g'ridan-to'g'ri sanab o'tish va tanlov muvaffaqiyatsiz bo'lgan taqdirda orqaga qaytishni tashkil qilish mumkin deb hisoblanadi. Variantlarni sanab o'tish chuqurlikdagi grafikni kesib o'tishga o'xshaydi. Aniq umidsiz qidiruvni istisno qilish uchun ro'yxatga olishni nazorat qilish vositalari mavjud. Deterministik bo'lmagan jarayonlarni bajarish uchun izohli avtomat diagnostik vaziyatga tushganda davomiy hisob-kitoblar tsikli sifatida ifodalanishi mumkin

Davomi - funktsional ob'ekt ta'riflari to'plamidan boshqa variantni tanlash. Agar formulaning qiymatini hisoblash imkonini beradigan variantlar to'plamini tanlash imkoni bo'lmasa, hisoblash muvaffaqiyatsiz deb hisoblanadi. Elementlar to'plamidan farqli o'laroq, variantlar to'plami barcha komponentlarning bir vaqtning o'zida mavjudligini talab qilmaydi. Shunday qilib, dasturlash variantlari bir vaqtning o'zida barcha variantlarni shakllantirish zaruratidan xalos bo'lishi mumkin. Mantiqiy dasturlashda formulalar namunalari o'rtasidagi munosabatlarning variantlari haqida asta-sekin o'ylab ko'rish, haqiqatda sodir bo'lgan faktlarni va ularning kombinatsiyalarini to'plash mumkin. Tarkib nuqtai nazaridan bunday jarayon apparat darajasida uzilishlar ishlovchilar to'plamini takomillashtirishga o'xshaydi. Maqsadli ma'lumotlarni qayta ishlashni amalga oshiradigan asosiy dasturga qo'shimcha ravishda, diagnostika reaktsiyalari to'plami va hisoblashni davom ettirish protseduralari dasturning natijaga erishishiga to'sqinlik qiladigan turli xil kutilmagan hodisalar uchun disk raskadrovka qilinadi.

E'tibor bering, variantlar ierarxiyani tashkil etmaydi. Ularning aksiomatikasi soddalashtirilgan to'plam nazariyasi deb ataladigan narsaga o'xshaydi. 129 Asosiy xususiyat a'zolik va inklyuziya predikatlarining mos kelishidir. Agar bunday ifodadagi variantlar teng komponentlar sifatida ko'rib chiqilsa, unda variantlar ro'yxati bo'sh bo'lmaganda bo'sh ro'yxatni muddatidan oldin tanlashni qanday oldini olish mumkinligi aniq emas. Ushbu muammoni hal qilish uchun LP tizimlarida ESC ning maxsus shakli (o'lik nuqta) joriy etilgan bo'lib, uning ta'siri shundaki, agar iloji bo'lsa, uni bajarmaslikka "harakat qiladi". Boshqacha qilib aytganda, variantlarni tanlashda ESC shaklini bajarishga olib kelmaydigan variantlarga afzallik beriladi. Grammatikada bo'sh satrlar bilan ishlashda ham xuddi shunday muammo yuzaga keladi. Shunga o'xshash muammo modellashtirish jarayonlarida bo'sh o'tishlarga nisbatan yuklangan o'tishlarning ustuvorligi to'g'risidagi kelishuv orqali talqin qilingan Petri tarmoqlari orqali hal qilinadi.

AC formulaga keltiriladi: (fakt | (predikat maqsad) | ESC) AML =, bu yerda RL = SECDR secdr → s' e' c' d' r' eski holatdan yangi holatga o'tish. secd FP bilan bir xil, r tekshirilmagan variantlarni saqlash uchun. Xendersonning kitobi [15] variantlarni takrorlashda mashina holatining identifikatsiyasini kafolatlaydigan qo'shimcha dump yordamida asosiy darajadagi variantlar bilan ishlashni qo'llab-quvvatlaydigan mavhum mashinaning umumlashtirilishini taqdim etadi. secdr → s' e' c' d' r'