the nontriviality and restriction a

the nontriviality and restriction axioms in the definition of system are automatically true if the system is complete.

in that case, a system is precisely the same as an action of W on the set W, where W is the union of the sets W, thought of as a semigroup with a partially defined binary operation (concatenation).

many of the concepts that we study are direct analogues of those studied for semigroup or group actions; for instance, "controllability" will be the analogue of "transitivity".

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

สัจพจน์ของความ nontriviality และข้อจำกัดในข้อกำหนดของระบบเป็นจริงโดยอัตโนมัติถ้าระบบเสร็จสมบูรณ์ในกรณี ระบบเป็นเหมือนกับการดำเนินการบนชุด W, W สหภาพชุด W, W คิดเป็น semigroup โดยการกำหนดบางส่วนดำเนินการ (ต่อ)แนวคิดที่ว่าเราศึกษามากมายมี analogues โดยตรงของผู้ศึกษาดำเนินการ semigroup หรือกลุ่ม เช่น "controllability" จะเป็นอนาล็อกของ "transitivity"

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

nontriviality และสัจพจน์ข้อ จำกัด ในความหมายของระบบนี้เป็นจริงโดยอัตโนมัติหากระบบเสร็จสมบูรณ์. ในกรณีที่ระบบเป็นอย่างแม่นยำเช่นเดียวกับการกระทำของ W ใน W ชุดเป็นที่ W เป็นสหภาพของ W ชุดความคิด ว่าเป็นกึ่งกลุ่มที่มีการดำเนินการทวิภาคที่กำหนดไว้บางส่วน (กำหนดการ). หลายแนวคิดที่เราศึกษามี analogues โดยตรงของผู้เรียนในการกระทำ semigroup หรือกลุ่ม; ตัวอย่างเช่น "ควบคุม" จะเป็นอะนาล็อกของ "กริยา"

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

และที่ nontriviality จำกัดสัจพจน์ในนิยามของระบบจริงโดยอัตโนมัติหากระบบเสร็จสมบูรณ์

ในกรณีที่ระบบแน่นอนเช่นเดียวกับการกระทำของ W ในชุด W , W เป็นสหภาพของชุด W , คิดเป็นกึ่งกรุปด้วยบางส่วนกำหนดการดำเนินการทวิภาค ( เรียงต่อกัน

)หลายแนวคิดที่เราศึกษาอยู่ โดยตรง ซึ่งผู้ศึกษาสำหรับกึ่งกลุ่ม หรือการกระทำของกลุ่ม ตัวอย่างเช่น " ควบคุม " จะเป็นอนาล็อก " transitivity "