Theorem 5 E2DCFPL - REC [2] 6= φ. I

Theorem 5 E2DCFPL - REC [2] 6= φ. In particular E2DCFPL - LOC [2]6= φ. Proof. The picture array language L consisting of arrays M = M1◦c◦M1 whereM1 isastringovera(M isapicture arraywithonlyonerow)isintheclassE2DCFPL.Infactit isgeneratedbyaE2DCFPGwithacolumntableconsisting of the rule C → aCa and another table consisting of the rule C → c. But L isknown[2]tobenotinRECandhence not in LOC.

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

ทฤษฎีบท 5 E2DCFPL - REC [2] 6 =φ ในการ E2DCFPL - ล็อค [2] 6 =φพิสูจน์ รูปภาพอาร์เรย์ภาษา L ประกอบด้วยอาร์เรย์ M = M1◦c◦M1 whereM1 isastringovera (M isapicture arraywithonlyonerow)isintheclassE2DCFPL.Infactit isgeneratedbyaE2DCFPGwithacolumntableconsisting aCa →กฎ C และอีกตารางหนึ่งประกอบด้วย c →กฎ C แต่ tobenotinRECandhence isknown [2] L ไม่ได้อยู่ใน LOC.

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

ทฤษฎีบท 5 E2DCFPL - บันทึก [2] 6 = φ โดยเฉพาะอย่างยิ่ง E2DCFPL - LOC [2] 6 = φ หลักฐาน ภาพภาษาอาร์เรย์ L ประกอบด้วยอาร์เรย์ M = M1◦c◦M1 whereM1 isastringovera (M isapicture arraywithonlyonerow) isintheclassE2DCFPL.Infactit isgeneratedbyaE2DCFPGwithacolumntableconsisting ของกฎ C → ACA และตารางอื่นประกอบด้วย C กฎ→ค แต่ L isknown [2] tobenotinRECandhence ไม่ได้อยู่ใน LOC

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

ทฤษฎีบท 5 e2dcfpl - สันทนาการ [ 2 ] 6 = φ . โดยเฉพาะ e2dcfpl - loc [ 2 ] 6 = φ . พิสูจน์ ภาพเรย์ภาษาผมประกอบด้วยอาร์เรย์ M = 1 ◦ C ◦ M1 wherem1 isastringovera ( M isapicture arraywithonlyonerow ) isintheclasse2dcfpl.infactit isgeneratedbyae2dcfpgwithacolumntableconsisting ของกฎ C → keyboard - key - name ACA และอีกตารางประกอบด้วยกฎ C → keyboard - key - name C แต่ฉัน isknown [ 2 ] tobenotinrecandhence ไม่อยู่ในที่ๆ