Theorem 4.9. Let L and L′ be two GA

Theorem 4.9. Let L and L′ be two GADLs with zeroes 0 and 0′, respectively and
f : L → L′ a homomorphism. Then we have the following:

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

ทฤษฎีบท 4.9 ให้ L และ L 'เป็นสอง GADLs กับเลข 0 และ 0' ตามลำดับและ
f: L → L 'homomorphism แล้วเรามีดังต่อไปนี้:

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

ทฤษฎีบท 4.9 . ให้ฉันและฉันได้รับเป็นสอง gadls เลข 0 และ 0 นั้น ตามลำดับ
F : L → keyboard - key - name ผมนั้นเป็น homomorphism . เราก็มีดังต่อไปนี้