For each T and each X, the empty se

For each T and each X, the empty sequence U is admissible for x and x

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

สำหรับแต่ละทีแต่ละ X ลำดับว่าง U จะ admissible ใน x และ x

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

สำหรับแต่ละ T และแต่ละ X ลำดับที่ว่างเปล่า U เป็นที่ยอมรับสำหรับ x และ x

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

สำหรับแต่ละคนและแต่ละ X , ลําดับ ว่างเปล่า คุณเป็นที่ยอมรับสำหรับ X และ X