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 is a string overa (M is a picture array with only onerow)is in the class E2DCFPL.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 เป็น overa เป็นสายอักขระ (M คือ ภาพอาร์เรย์กับ onerow เท่านั้น) อยู่ในคลาส E2DCFPL IsgeneratedbyaE2DCFPGwithacolumntableconsisting Infactit ของ aCa →กฎ C และอีกตารางหนึ่งประกอบด้วยกฎ C → c แต่ tobenotinRECandhence isknown [2] L ไม่ได้อยู่ใน LOC.

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

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

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

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