The domain of a resource variable i

The domain of a resource variable is the range of available resources R, {1,...,N} and
is augmented for the resource variables of freeing/reallocating actions to include a dummy
value ⊥ (NULL) signifying that the corresponding action is potentially not needed.

ผลลัพธ์ (ไทย) 2:

โดเมนของตัวแปรทรัพยากรเป็นช่วงของทรัพยากรที่มีอยู่ที่ R {1, ... , N} และ
เติมสำหรับตัวแปรทรัพยากรพ้น / การดำเนินการจัดสรรที่จะรวมถึงหุ่น
มูลค่า⊥ (NULL) แสดงว่าการดำเนินการที่สอดคล้องกันคือ อาจไม่จำเป็นต้องใช้

ผลลัพธ์ (ไทย) 3:

โดเมนของทรัพยากรตัวแปรคือช่วงของทรัพยากรที่มีอยู่ R , { 1 , . . . , n } และคือปริซึมสำหรับทรัพยากรตัวแปรของการกระทำ / reallocating รวมหุ่น⊥ค่า ( null ) แสดงว่า การกระทำที่อาจไม่จำเป็น