is a formal description of a set of

is a formal description of a set of rules

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

เป็นคำอธิบายที่เป็นชุดของกฎ

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

เป็นคำอธิบายอย่างเป็นทางการของชุดของกฎ