|
Tomonidan tan olingan, ammo boshqalar ham ma'lum
|
| bet | 2/6 | | Sana | 24.01.2024 | | Hajmi | 36,54 Kb. | | #144809 |
Bog'liq 10,11-Лекция узб6.1. Operatsion semantika
Mantiqiy dasturlash ma'lumotlarni qayta ishlashni ta'riflarning ixtiyoriy tarkibini tanlashga kamaytiradi (tenglamalar, predikat shakllari), bu natijani muvaffaqiyatli olishga imkon beradi. Aynan formulalarni qayta ishlash asos bo'lib xizmat qiladi – hisoblash formula bo'yicha operatsiya sifatida qaraladi. Muvaffaqiyatsiz bo'lsa, ta'riflarning boshqa variantlari juda ko'p. LP tillarida namunalar bilan taqqoslanadigan variantlarni to'g'ridan-to'g'ri saralash va muvaffaqiyatsiz tanlov bilan daromadlarni tashkil etish mumkin deb hisoblanadi. Variantlarni saralash grafikni chuqur chetlab o'tishga o'xshaydi. Qasddan umidsiz qidiruvni istisno qilish uchun qo'pol kuch ishlatishni boshqarish vositalari mavjud.
Deterministik bo'lmagan jarayonlarni amalga oshirish uchun izohlovchi avtomat diagnostika holatiga tushganda hisob-kitoblarni davom ettirish tsikli sifatida ifodalanishi mumkin. Davomi funktsional ob'ektning ta'riflari to'plamidan boshqa variantni tanlashdir. Agar formulaning qiymatini hisoblash imkonini beradigan variantlar to'plamini tanlash imkoni bo'lmasa, hisoblash muvaffaqiyatsiz deb hisoblanadi.
ko'p elementlardan farqli o'laroq, variantlar to'plami barcha tarkibiy qismlarning bir vaqtning o'zida mavjudligini talab qilmaydi. Shuning uchun, variantlarni dasturlash bir vaqtning o'zida barcha variantlarni shakllantirish zaruriyatidan ozod qilinishi mumkin. Mantiqiy dasturlashda siz formulalar namunalari o'rtasidagi munosabatlar variantlarini asta-sekin o'ylab ko'rishingiz mumkin, ular haqiqatan ham mavjud bo'lgan faktlar va ularning kombinatsiyalarini to'playdi. Ushbu jarayon, shuningdek, apparat darajasida uzilish ishlovchilari to'plamini takomillashtirishga o'xshaydi. Maqsadli ma'lumotlarni qayta ishlashni amalga oshiradigan asosiy dasturga qo'shimcha ravishda, dastur natijasini olishga xalaqit beradigan har xil kutilmagan hodisalar uchun diagnostika reaktsiyalari va hisobni davom ettirish protseduralari to'plami disk raskadrovka qilinadi.
|
| |
