Model Operation defines the grammar

Model Operation defines the grammar for OpM. The application of an update opM : OpM to a model m : Model is denoted by opM m : Model.

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

รูปแบบการดำเนินงาน defines ไวยากรณ์สำหรับแผ่น/นาที แผ่น/นาทีการปรับปรุงประยุกต์ใช้: แผ่น/นาทีการ m รุ่น: สามารถระบุ โดย m แผ่น/นาทีรุ่น: รุ่น

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

รุ่นการดำเนินงานของสาย NES ไวยากรณ์สำหรับ OPM การประยุกต์ใช้การปรับปรุง OPM นี้: OPM แบบเมตร: รุ่นจะเขียนแทนด้วย OPM m: รุ่น

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

รูปแบบการดำเนินงาน de จึง NES ไวยากรณ์สำหรับ OPM . การประยุกต์ใช้การปรับปรุง OPM OPM : กับรุ่น M : รูปแบบเขียนโดย OPM m :
แบบ .