For each E, F and G for which the r

For each E, F and G for which the right-hand side is defined, let H, where J is that control of length 1 in K that has the value L.

This defines a next-state or transition mapping M, where N.

In the particular case of complete systems, O.

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

สำหรับแต่ละ E, F และ G ที่ด้านขวามือไว้ ให้ H, J อยู่ที่ควบคุมความยาว 1 ใน K ที่มีค่า L.นี้กำหนดสถานะต่อไปหรือเปลี่ยนแมป M ที่ N.ในกรณีของระบบสมบูรณ์ โอ

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

สำหรับแต่ละ E, F และ G ที่ด้านขวามือจะถูกกำหนดให้ H ที่ J คือการควบคุมที่มีความยาว 1 ใน K ที่มีค่าแอลนี้กำหนดรัฐต่อไปหรือการเปลี่ยนแปลงการทำแผนที่M ที่เอ็นในกรณีเฉพาะของระบบที่สมบูรณ์ทุม

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

สำหรับแต่ละ E , F และ G ซึ่งด้านขวามือกำหนดให้ H ที่ J ที่ควบคุมความยาวของ 1 ใน K ที่มีค่า L .

นี้นิยามรัฐต่อไป หรือเปลี่ยนแผนที่ M ที่ N .

ในกรณีเฉพาะของระบบที่สมบูรณ์ .