Verify that the set of all transiti

Verify that the set of all transitions from each state is orthogonal and that there is only one next state for
every possible combination of state-machine input values and attributes.

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

ตรวจสอบว่า ตั้งค่าของช่วงการเปลี่ยนภาพทั้งหมดจากแต่ละรัฐเป็น orthogonal และมีสถานะต่อไปเดียวสำหรับ ทุกชุดเป็นของค่าที่ป้อนเข้าเครื่องสถานะและแอตทริบิวต์

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

ตรวจสอบว่าชุดของการเปลี่ยนจากแต่ละรัฐเป็นมุมฉากและนั่นเป็นเพียงหนึ่งในรัฐต่อไปสำหรับ
ทุกชุดเป็นไปได้ของค่าที่ป้อนเข้าเครื่องรัฐและคุณลักษณะ

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

ตรวจสอบว่าชุดของการเปลี่ยนจากแต่ละรัฐตั้งฉากและมีเพียงหนึ่งต่อไปรัฐ
ทุกชุดได้สภาพเครื่องป้อนค่าและคุณลักษณะ