Other applications of rewriting to

Other applications of rewriting to the invertigation of semigroup includes the use of ordered completion and the introduction of new operators-by Pedersen (1989) to construct new decision procedure for some one-relation monoids. Decidability for one- relation Burnside varieties has not been investigated.

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

โปรแกรมประยุกต์อื่น ๆ ของการเขียนเพื่อ invertigation ของ semigroup มีการใช้การสั่งซื้อเสร็จสมบูรณ์และการแนะนำตัวใหม่- โดย Pedersen (1989) การสร้างกระบวนการตัดสินใจใหม่สำหรับบาง monoids ความสัมพันธ์หนึ่ง Decidability สำหรับพันธุ์ Burnside ความสัมพันธ์หนึ่งไม่มีการตรวจสอบ

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

การใช้งานอื่น ๆ ของการเขียนใหม่เพื่อ invertigation ของ semigroup รวมถึงการใช้เสร็จสั่งซื้อและการแนะนำของผู้ประกอบการใหม่โดยเซ่น (1989) ในการสร้างขั้นตอนการตัดสินใจใหม่สำหรับบาง monoids หนึ่งในความสัมพันธ์ decidability สำหรับหนึ่งความสัมพันธ์พันธุ์ Burnside ยังไม่ได้รับการตรวจสอบ

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

โปรแกรมอื่น ๆของการเขียนใหม่เพื่อ invertigation ของเซมิกรุปรวมไปถึงการใช้คำสั่งเบื้องต้นของความสมบูรณ์และผู้ประกอบการใหม่โดย Pedersen ( 1989 ) สร้างกระบวนการการตัดสินใจใหม่สักขีดหนึ่งความสัมพันธ์ decidability หนึ่ง - ความสัมพันธ์เพียงแค่พันธุ์ยังไม่ได้ตรวจสอบ