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

Download 36,54 Kb.
bet	3/6
Sana	24.01.2024
Hajmi	36,54 Kb.
	#144809

1 2 3 4 5 6

Bog'liq
10,11-Лекция узб

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.