The identity problems for all the c

The identity problems for all the cases known to be regular, namely (f),(s) are similarly decidable, since there is an effective way of constructing just the rewrite rules up to the size needed to map an element of A* to its normal from, tether than generate the whole, infinite system for the theory .

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

ปัญหาประจำของกรณีทั้งหมดรู้จักกันทั่วไป ได้แก่ (f), (s) จะคล้าย decidable เนื่องจากเป็นวิธีมีประสิทธิภาพในการสร้างเพียงกฎตรวจแก้ได้ขนาดที่ต้องแมปองค์ประกอบของ A ปกติของจาก ออกมากกว่าสร้างระบบทั้งหมด อนันต์สำหรับทฤษฎีการ

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

ปัญหาตัวตนทุกกรณีที่รู้จักกันเป็นปกติคือ (ฉ) (s) มี decidable ในทำนองเดียวกันเนื่องจากมีวิธีที่มีประสิทธิภาพในการสร้างเพียงแค่เขียนกฎขึ้นอยู่กับขนาดที่จำเป็นในการ map องค์ประกอบของ * ของมัน ปกติจากโยงสร้างกว่าทั้งระบบที่ไม่มีที่สิ้นสุดสำหรับทฤษฎี

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

ตัวตนปัญหาทุกกรณีรู้จักกันเป็นปกติคือ ( F ) , ( s ) decidable ในทํานองเดียวกัน มันเป็นวิธีที่มีประสิทธิภาพของการสร้างแค่เขียนกฎขึ้นมาให้ได้ขนาดที่ต้องการแผนที่องค์ประกอบของ * ปกติของมันจาก โยงมากกว่าสร้างทั้งระบบอนันต์ ทฤษฎี .