If there is an effective way of gen

If there is an effective way of generating a finite set of rules for reducing any given word to normal form,then the word problem is decidable.

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

ถ้ามีวิธีที่มีประสิทธิภาพของการสร้างชุดของกฎการลดคำกำหนดฟอร์มปกติจำกัด ปัญหาคำมี decidable

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

หากมีวิธีที่มีประสิทธิภาพในการสร้างขอบเขตของกฎสำหรับการลดคำใด ๆ ให้กับรูปแบบปกติแล้วปัญหาคำว่า decidable

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

ถ้ามันเป็นวิธีที่มีประสิทธิภาพของการสร้างชุดของกฎสำหรับการใด ๆเพื่อให้ Word รูปแบบปกติแล้วคำที่เป็นปัญหา decidable .