• LP tizimlari
  • AC quyidagi formulaga qisqartiriladi: (fakt / (predikat maqsadi | / ESC) AML = , bu erda RL = s e c d r →
  • 33-jadval LP alternativalarini bajarish uchun mavhum mashinani kengaytirish
    		•

    Shuni yodda tutish kerakki, variantlar ierarxiyani tashkil qilmaydi. Ularning aksiomatikasi soddalashtirilgan to'plamlar nazariyasiga o'xshaydi




    Download 36,54 Kb.
    bet3/6
    Sana24.01.2024
    Hajmi36,54 Kb.
    #144809
    1   2   3   4   5   6
    Bog'liq
    10,11-Лекция узб
    7-sinf 2-chorak test banki informatika, Aralash, Islom karimov nomidagi toshkent davlat texnika universiteti term, I bob. Depressiya turlari uning belgilari, sabablari va xususiy, 3-amaliy mashgulot (1), 4 Активларни идентификация қилиш, 7- amaliy ish, TERI VA ZAMBURUG, Dermatomikozlar, 6 shlyapa, jykjh, 5 ustun oddiy 5, 5 ustun oddiy 7, Gost 2023, Мустақил иш(МТ1)
    Shuni yodda tutish kerakki, variantlar ierarxiyani tashkil qilmaydi. Ularning aksiomatikasi soddalashtirilgan to'plamlar nazariyasiga o'xshaydi.

    Asosiy xususiyat-bu tegishli bo'lish va qo'shilish predikatlarining tasodifidir.


    Agar bunday iboradagi variantlar teng komponentlar deb hisoblansa, bo'sh bo'lmagan variantlar ro'yxati bilan bo'sh ro'yxatni muddatidan oldin tanlashni qanday oldini olish mumkinligi aniq emas. Ushbu muammoni hal qilish uchun,

    • LP tizimlari ESC (o'lik) ning maxsus shaklini joriy etadi, uning harakati iloji boricha bajarilmaslikka "harakat qiladi". Boshqacha qilib aytganda, variantlarni tanlashda ESC shaklining bajarilishiga olib kelmaydigan variantlar afzal ESCko'riladi. Xuddi shu muammo grammatikalardagi bo'sh zanjirlarni qayta ishlashda ham yuzaga keladi. Shunga o'xshash muammo Petri tarmoqlari tomonidan talqin qilingan jarayonlarni simulyatsiya qilishda Yuklangan o'tishlarning bo'shlarga nisbatan ustuvorligi to'g'risidagi Konventsiya bilan hal qilindi.



    AC quyidagi formulaga qisqartiriladi:


    (fakt / (predikat maqsadi | / ESC)
    AML = , bu erda RL =

    s e c d r → s 'e' c ' d ' r ' - eski holatdan yangisiga o'tish.


    s e c d FP bilan bir xil, r – sinab ko'rilmagan variantlarni saqlash uchun mo'ljallangan.



    • Xendersonning kitobi [15] mavhum mashinaning umumlashtirilishini taqdim etadi, bu esa variantlarni saralashda mashina holatining o'ziga xosligini kafolatlaydigan qo'shimcha axlat yordamida variantlar bilan ishlashni asosiy darajada qo'llab-quvvatlaydi.

    s e c d r → s' e' c' d' r'




    33-jadval


    LP alternativalarini bajarish uchun mavhum mashinani kengaytirish




    Download 36,54 Kb.
    1   2   3   4   5   6




    Download 36,54 Kb.
    Bosh sahifa
    Aloqalar
        Bosh sahifa
    Dərs
    Mühazirə
    Qaydalar
    Referat
    Xülasə
    Yazı


    Shuni yodda tutish kerakki, variantlar ierarxiyani tashkil qilmaydi. Ularning aksiomatikasi soddalashtirilgan to'plamlar nazariyasiga o'xshaydi

    Download 36,54 Kb.