S. K. Ganiyev, M. M. Karimov, K. A. Tashev

M 
= M[xs. x J  agar K x J ^ x J  *  (s,o ) bo'lsa.
M
 [s, o]  =  
M[s. о]
 и {rj.
“enter”  amali  foydalanish  matritsasining mavjud yacheykasiga 
“r
 ”  huquqini  kiritadi.  Har  bir  yacheykaning  tarkibi  foydalanish 
huquqi to‘plami sifatida ko‘riladi, ya’ni agar kiritilayotgan huquq bu 
to‘plamda bo‘lsa, yacheyka o‘zgarmaydi.  “enter”  amali  foydalanish 
matritsasiga  faqat  huquq  qo'shadi  va  hech  narsani  yo‘q  qilmaydi. 
Shu sababli bu amalni “monoton” amal deb atashadi. 
delete
  “r” 
from
 (bu yerda s e s,0 e о )
0 = 0
S' = 5
=   M [xs,x D] 
agar 
*
  Сs.o},
M1’ [s, o]  = Af[s, o]tr}.
“delete”  amalining  ta’siri  “enter”  amalining  ta’siriga  teskari. 
Bu  amal  foydalanish  matritsasining  yacheykasidagi  huquqni  yo‘q 
qiladi,  agar  bu  huquq  ushbu  yacheykada  bo‘Isa,  har  bir  yacheyka­
ning  tarkibi  foydalanish  huquqi  to‘plami  sifatida  ko‘rilganligi  sa­
babli,  yo‘q qilinadigan huquq ushbu yacheykada bo‘lmasa,  “delete” 
amali  hech narsa qilmaydi.  “delete” amali foydalanish matritsasidan 
axborotni  yo‘q  qilishi  sababli,  bu  amal  “monoton bo‘lmagan”  amal 
deb ataladi.
59

---

create subject 
"(bu erda s
 e  S   )
O'
 = Ou{s}
5 ’  =  S U {s}
M[xs,x 0]
 =  
M[x,.x0]barcha l(x}s,x a)
  e  5  
xO uckun
 
M   [s, x„]  =  0  
barcha x0
 E  0 ' 
uckun
 
M'[s. xs]
  =  0  barcfca 
e  5 ‘ u cA u n  
destroy 
subject s
 
(bu erda Cs e 5))
0T- = 0{s}
5”  =   5 {s }
=   M [ ( r ] j , x 0)b arcfca 
l ( xj s, x 0) e S ' x O '
 
create abject mo" {bu erda о
 с  
О
  )