Give the following generalization o

Give the following generalization of the Myhill-Nerode Theorem:A subset of a semigroup "s" is regular if and only if it closed with respect to some well quasi order (w) on s that has the replacement property : x>r implies uxv < uyv for all (empty or non empty) words x,y,u,v .

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

Generalization ดังต่อไปนี้ของ Myhill-Nerode ทฤษฎีบท: A ชุดย่อยของ semigroup "s" ให้เป็นปกติถ้าและเดียวมันปิดกับสั่งบางเกือบดี (w) ใน s ที่มีคุณสมบัติทดแทน: x > r หมายถึง uxv < uyv คำทั้งหมด (ว่าง หรือไม่ว่าง) x, y, u, v

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

ให้ทั่ว ๆ ไปของ Myhill-Nerode ทฤษฎีบท: ย่อยของ semigroup "S" เป็นปกติและถ้าหากมันจะปิดด้วยความเคารพต่อคำสั่งซื้อบางเสมือนดี (ก) ใน S ที่มีการเปลี่ยนสถานที่ให้บริการ: x> R หมายถึง UXV <uyv ทั้งหมด (ว่างหรือไม่ว่างเปล่า) คำ X, Y, U, V

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

ให้นัยทั่วไปของทฤษฎีบทซ มายฮิลล์ nerode ต่อไปนี้ : ส่วนย่อยของกึ่งกรุป " S " คือปกติถ้าและเพียงถ้ามันถูกปิดด้วยความเคารพบางดีกึ่งสั่ง ( W ) S ที่มีสมบัติแทน : X > R หมายถึง uxv < uyv ทั้งหมด ( ว่างหรือไม่ว่าง ) คำ x , y , U , V .