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 where M1 is a string overa (M is a picture array with only onerow)is in the class E2DCFPL.In fact it is generated by a E2DCFPG with a column table consisting of the rule C → aCa and another table consisting of the rule C → c. But L is known[2]to be not in REC and hence not in LOC.

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

ทฤษฎีบท 5 E2DCFPL - REC [2] 6 =φ ในการ E2DCFPL - ล็อค [2] 6 =φพิสูจน์ รูปภาพอาร์เรย์ภาษา L ประกอบด้วยอาร์เรย์ M = M1 overa เป็นสายอักขระ (M คือ ภาพอาร์เรย์กับ onerow เท่านั้น) อยู่ในคลาส E2DCFPL M1◦c◦M1 ในความเป็นจริงมันถูกสร้าง โดยการ E2DCFPG ตารางคอลัมน์ที่ประกอบด้วยกฎ C → aCa และอีกตารางหนึ่งประกอบด้วยกฎ C → c แต่ L เป็นที่รู้จักกัน [2] ไม่ REC และจึงไม่อยู่ใน LOC.

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

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

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

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