Self-barqarorlik

Qonuniy holat quyidagi cheklovlarni qondirishi kerak:

• Tizimda kamida bitta imtiyoz bo'lishi kerak.
• Huquqiy holatdan har bir harakat tizimni yana huquqiy holatga keltirishi kerak.
• Cheksiz bajarilish vaqtida har bir tizim cheksiz ko'p marta imtiyozga ega bo'lishi kerak.

Har qanday ikkita huquqiy holatni hisobga olgan holda, bir huquqiy holatni boshqasiga o'zgartiradigan bir qator harakatlar mavjud. Deykstra qonuniy (yoki huquqiy) holatni aynan bitta mashina imtiyozdan foydalanadigan holat deb hisobladi.

Tizim o'z-o'zini barqarorlashtiradi, agar:

Tizim o'z-o'zini barqarorlashtiradi, agar:

• Har qanday holatdan boshlab, tizim oxir-oqibat to'g'ri holatga kelishi kafolatlanadi (konvergentsiya).
• Tizim to'g'ri holatda ekanligini hisobga olsak, hech qanday nosozlik bo'lmasa (yopilish) to'g'ri holatda qolish kafolatlanadi .

Tizim tasodifiy o'z-o'zini barqarorlashtiruvchi deb ataladi, agar u o'z-o'zini barqarorlashtirsa va to'g'ri holatga erishish uchun kutilgan turlar soni qandaydir doimiy bilan chegaralangan bo’lsa.

O'z-o'zini barqarorlashtiruvchi kompilyatorlar

Dasturlar:

• Qoidalarga asoslangan dastur (Brown va boshq.)
• Boshlashda qoida guard deb ataladigan faollashtiruvchi shartga ega bo'lgan bir nechta tayinlash bayonotidir.
• guard - har bir holatda yangilanadigan dastur o'zgaruvchilari ustidagi predikat.
• Hisoblash - bu qoidalarni ishga tushirish ketma-ketligi, bunda har bir bosqichda faollashtirilgan qoida bajarilishi uchun aniqlanmagan holda tanlanadi.
• O'zgaruvchilar qiymatlari endi o'zgarmaydigan belgilangan nuqta holatiga kelganda dastur tugaydi.

Natijani saqlab qolgan holda o'z-o'zini barqarorlashtirishga harakat qilish uchun dasturda quyidagilar bo'lishi kerak:

Natijani saqlab qolgan holda o'z-o'zini barqarorlashtirishga harakat qilish uchun dasturda quyidagilar bo'lishi kerak:

• Asiklik ma'lumotlarga bog'liqlik grafigi.
• Dasturdagi har bir qoida faqat bitta o'zgaruvchini tayinlaydi.
• Bir xil maqsadli o'zgaruvchiga ega har qanday qoidalar juftligi uchun ikkala qoida ham o'zgaruvchiga bir xil qiymatni belgilaydi.