The proof of containment is similar

The proof of containment is similar to Theorem 2 except that the the tables of rules in the second phase of the 2D grammars TRMG [12] and TCFMG [12] of the corresponding TRML and TCFML are taken as the row tables of the E2DCFPG.The proper containment follows from the same example 1 as even in a TRMG or a TCFMG the two phases of derivation are independent.

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

หลักฐานการบรรจุที่มีลักษณะคล้ายกับทฤษฎีบท 2 ยกเว้นที่ตารางของกฎในระยะที่สองของ grammars 2D TRMG [12] และ TCFMG [12] TRML และ TCFML ที่สอดคล้องกันจะถูกนำเป็นตารางแถวของ E2DCFPG บรรจุที่เหมาะสมดังต่อไปนี้จากตัวอย่างเดิม 1 เป็นในแบบ TRMG หรือ TCFMG เป็น 2 ขั้นตอนมาเป็นอิสระ

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

หลักฐานจากภาชนะบรรจุมีลักษณะคล้ายกับทฤษฏี 2 ยกเว้นว่าตารางของกฎในขั้นที่สองของไวยากรณ์ 2D TRMG [12] และ TCFMG [12] ของที่สอดคล้อง TRML TCFML และถูกนำมาเป็นตารางแถวของ E2DCFPG.The บรรจุที่เหมาะสมต่อไปนี้จากตัวอย่างเดียวกัน 1 แม้ใน TRMG หรือ TCFMG ทั้งสองขั้นตอนของการที่มาเป็นอิสระ

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

หลักฐานในการบรรจุคล้ายกับทฤษฎีบท 2 ยกเว้นว่าตารางของกฎในขั้นตอนที่สองของ 2D ไวยากรณ์ trmg [ 12 ] และ tcfmg [ 12 ] ของ trml ที่สอดคล้องกันและ tcfml ถูกนำมาเป็นแถวตารางของ e2dcfpg . การแก้ไขที่เหมาะสม คือ จากตัวอย่างเดียวกัน 1 แม้ใน trmg หรือ เป็น tcfmg สองขั้นตอนของการเป็นอิสระ