• Ri has priority on Rj , i.e. i <

• Ri has priority on Rj , i.e. i < j;
• Action of Ri is different from action of Rj (ai = aj);
• For every reachable final state r of the automaton B:
if r contains qjm, then r contains qim.

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

•รีมีความสำคัญใน Rj เช่นฉัน < j•การดำเนินการของรีจะแตกต่างจากการกระทำของ Rj (ai = aj);•สำหรับ r ทุกรัฐสามารถเข้าถึงสุดท้ายของออโตมาตา b:ถ้า r ประกอบด้วยค่า qjm แล้ว r ประกอบด้วย qim

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

•รีมีความสำคัญกับ Rj คือฉัน <เจ;
•การกระทำของรีจะแตกต่างจากการกระทำของ Rj (ไอ = aj?);
•สำหรับทุกคนสามารถเข้าถึงได้รัฐสุดท้ายอาร์ของหุ่นยนต์บี:
ถ้าอามี qjm แล้วอามี Qim .

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

- ริมีความสำคัญกับ RJ คือ i < J ;
- การกระทำของยูริจะแตกต่างจากการกระทำของ RJ ( ไอ  = AJ ) ;
- R สามารถสุดท้ายสำหรับทุกสภาพของหุ่นยนต์ B :
ถ้า R มี qjm แล้ว R มี qim .