Construct an infinite convergent (t

Construct an infinite convergent (terminating,and confluent) string-rewriting system (semi-thue system) for the theory by looking at longer and longer ground instances of the axiom.

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

อนันต์เป็น convergent สร้างอินสแตนซ์ของสัจพจน์พื้นดิน (สิ้นสุด และ confluent) เขียนอักขระระบบ (ระบบกึ่ง thue) ในทฤษฎีโดย ที่อีกต่อไป และอีกต่อไป

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

สร้างมาบรรจบกันไม่มีที่สิ้นสุด (ยกเลิกและไหลมารวมกัน) สตริงเขียนระบบ (ระบบกึ่ง Thue) สำหรับทฤษฎีโดยดูที่อีกต่อไปและอีกต่อไปกรณีที่พื้นดินของจริง

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

สร้างอนันต์ลู่เข้า ( ยกเลิกและกระจู๋กระจี๋ ) สายใหม่ของระบบ ( ระบบ thue กึ่ง ) ทฤษฎีดูอีกต่อไปและอีกต่อไปพื้นดินอินสแตนซ์ของสัจพจน์ .