When an algebra is finite,there is

When an algebra is finite,there is a finite unconditional rewrite system to decide its word problem, that is , validity of ground equation over a finite set of generators.

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

เมื่อพีชคณิตการจำกัด มีตรวจแก้โดยไม่มีเงื่อนไขจำกัดระบบการตัดสินใจของคำปัญหา คือ มีผลบังคับใช้ของสมการพื้นผ่านชุดเครื่องกำเนิดไฟฟ้าจำกัด

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

เมื่อพีชคณิตมี จำกัด มีระบบการเขียนไม่มีเงื่อนไข จำกัด ในการตัดสินใจปัญหาคำของมันนั่นคือความถูกต้องของสมการพื้นดินกว่าชุด จำกัด ของเครื่องกำเนิดไฟฟ้า

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

เมื่อพีชคณิตคือจำกัด มีขอบเขตจำกัด เขียนระบบเพื่อตัดสินปัญหา คำของมันนั่นคือ ความถูกต้องของสมการพื้นมากกว่าชุดจำกัดของเครื่องกำเนิดไฟฟ้า