we create two new nonterminals α1,α

we create two new nonterminals α1,α2 in the E2DCFPG G2 to be formed. The symbols in the ‘border’ of the axiom arrays in G1 (it could be a single symbol also) are replaced by the new nonterminal of type α1 except that the ‘four’ corners are replaced by the new nonterminal of type α2 (suitable modifications can be done for the degenerate cases of only two corners or a single corner) and these arrays are taken as the axiom arrays in G2. The right and left tables in G1 (used for rewriting the rightmost or leftmost column of an array in derivations in G1), are the column tables of G2 with the following modification in the rules: Every rule of the form X → AB ...CZ, in a right table is replaced by two rules of the form X1 → AB ...CZ1 (only the last symbol in the right is changed) and X2 → A1B1 ...C1Z2 (every symbol in the right is changed) where X1,A1,B1,...Z1, are α1 kind of new nonterminals and X2,Z2 are α2 kind of new nonterminals. Note that the rule of the type X1 → AB ...CZ1 will rewritean ‘inner’ symbol in the rightmost column of the array rewritten whereas the rule of the type X2 → A1B1 ...C1Z2 will rewritea ‘corner’symbol. Similar column table of rules is formed corresponding to a left tableinG1.LikewiseforupanddowntablesofG1.Finally, for each table in the ET0LAS G1 consisting of rules of the form A → α,α is entirely made of terminal symbols, we add a table of rules of the form A1 → α,A2 → α where A1,A2 are the two kinds of nonterminals introduced in G2 correponding to the nonterminal A in G1. It can be seen that G2 generates the ET0LAL given.

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

เราสร้างสองใหม่ nonterminals α1, α2 ใน G2 E2DCFPG ให้เป็นรูปแบบ สัญลักษณ์ใน 'เส้นขอบ' ของอาร์เรย์สัจพจน์ใน G1 (อาจเป็นสัญลักษณ์เดียวยัง) จะถูกแทนที่ โดย nonterminal ใหม่ของ α1 ชนิดยกเว้นที่มุม 'สี่' จะถูกแทนที่ โดย nonterminal ใหม่ของชนิด α2 (modifications เหมาะสมสามารถทำได้สำหรับกรณี degenerate สองมุมหรือมุมเดียว) และอาร์เรย์นี้จะนำมาเป็นอาร์เรย์สัจพจน์ใน G2 ได้ ตารางด้านซ้าย และขวาใน G1 (ใช้สำหรับการเขียนคอลัมน์ซ้ายสุด หรือขวาสุดของอาร์เรย์ในรากศัพท์ใน G1), มีตารางคอลัมน์ของ G2 กับ modification ต่อไปนี้ในกฎ: ทุกกฎของ AB X →แบบฟอร์ม... CZ ในตารางด้านขวาถูกแทนที่ ด้วยกฎที่สองของ→แบบฟอร์ม X 1 AB ... CZ1 (เฉพาะสัญลักษณ์ทางด้านขวาสุดท้ายมีการเปลี่ยนแปลง) และ X 2 → A1B1 ... C1Z2 (ทุกสัญลักษณ์ทางด้านขวามีการเปลี่ยนแปลง) 1, A1, B1, X ... Z1 ชนิด α1 nonterminals ใหม่และ X 2, Z2 เป็นชนิด α2 nonterminals ใหม่ หมายเหตุว่า กฎของ→ชนิด X 1 AB ... CZ1 จะ rewritean 'ภายใน' สัญลักษณ์ในคอลัมน์ขวาสุดของอาร์เรย์ที่จิตในขณะที่กฎของ→ชนิด X 2 A1B1 ... C1Z2 จะ rewritea ' corner'symbol ตารางคอลัมน์คล้ายของกฎที่มีรูปแบบที่สอดคล้องกับ tableinG1.LikewiseforupanddowntablesofG1.Finally ซ้าย สำหรับแต่ละตารางใน ET0LAS G1 ประกอบด้วยกฎด้วยกองทัพ→แบบ สัญลักษณ์เทอร์มินัลทั้งหมดประกอบด้วยกองทัพ เราเพิ่มตารางกฎการฟอร์ม A1 →ด้วยกองทัพ ด้วยกองทัพ→ A2 A1, A2 อยู่สองชนิดของ nonterminals ที่นำมาใช้ใน G2 correponding nonterminal A ใน G1 จะเห็นได้ว่า G2 สร้าง ET0LAL ให้

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

เราสร้างสองα1 nonterminals ใหม่α2ใน G2 E2DCFPG ที่จะเกิดขึ้น สัญลักษณ์ใน 'ชายแดน' ของอาร์เรย์ความจริงใน G1 (มันอาจจะเป็นสัญลักษณ์เดียวยัง) จะถูกแทนที่ด้วย nonterminal ใหม่ของประเภทα1ยกเว้นว่า 'สี่มุมจะถูกแทนที่โดย nonterminal ใหม่ของประเภทα2 (Modi ไพเพอร์ไฟที่เหมาะสม สามารถทำได้ในกรณีที่เลวเพียงสองมุมหรือมุมเดียว) และอาร์เรย์เหล่านี้จะถูกนำมาเป็นความจริงในอาร์เรย์ G2 สิทธิและตารางซ้าย G1 (ใช้สำหรับการเขียนคอลัมน์ขวาสุดหรือซ้ายสุดของอาร์เรย์ในการพิสูจน์ใน G1) เป็นตารางคอลัมน์ G2 กับไอออนบวก Modi สายต่อไปนี้ในกฎ: กฎของรูปแบบ X → AB ทุกคน ... CZ, ในตารางด้านขวาจะถูกแทนที่ด้วยกฎที่สองของ X1 รูปแบบ→ AB ... CZ1 (เฉพาะสัญลักษณ์ที่ผ่านมาในที่เหมาะสมมีการเปลี่ยนแปลง) และ X2 A1B1 → ... C1Z2 (สัญลักษณ์ในสิทธิของทุกคนที่มีการเปลี่ยนแปลง) ซึ่ง X1, A1, B1, ... Z1 เป็นชนิดของα1 nonterminals ใหม่และ X2, Z2 เป็นชนิดของα2 nonterminals ใหม่ โปรดทราบว่าการปกครองของ X1 ประเภท→ AB ... CZ1 จะ rewritean สัญลักษณ์ 'ภายใน' ในคอลัมน์ขวาสุดของอาร์เรย์เขียนใหม่ในขณะที่การปกครองของประเภท→ X2 A1B1 ... การ C1Z2 จะ rewritea 'corner'symbol ตารางคอลัมน์ที่ใกล้เคียงของกฎระเบียบที่มีรูปแบบที่สอดคล้องกับซ้าย tableinG1.LikewiseforupanddowntablesofG1.Finally สำหรับแต่ละตารางใน G1 ET0LAS ประกอบด้วยกฎของแบบฟอร์ม→αที่αจะทำทั้งหมดของสัญลักษณ์ขั้วเราเพิ่มตารางของกฎของการเป็น รูปแบบ A1 →α, A2 →αที่ A1, A2 เป็นสองชนิดของ nonterminals แนะนำใน correponding G2 กับ nonterminal ใน G1 จะเห็นได้ว่า G2 สร้าง ET0LAL ที่กำหนด

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

เราสร้างใหม่ 2 nonterminals α 1 , α 2 ใน e2dcfpg G2 จะเกิดขึ้นสัญลักษณ์ใน ' ชายแดน ' ของสัจพจน์อาร์เรย์ใน G1 ( อาจเป็นสัญลักษณ์เดียวด้วย ) จะถูกแทนที่ด้วยใหม่ nonterminal ประเภทα 1 ยกเว้นว่า ' สี่มุม ' จะถูกแทนที่ด้วยใหม่ nonterminal ประเภทα 2 ( เหมาะโมดิ จึงทำให้สามารถทำได้สำหรับการเพียงสองกรณี มุมหรือมุมเดียว ) และอาร์เรย์เหล่านี้ถูกนำมาเป็นสัจพจน์ อาร์เรย์ใน G2 .ขวาและซ้ายต่ำกว่า ( ตารางที่ใช้เขียนคอลัมน์ด้านขวาหรือซ้ายของอาร์เรย์ในการหาใน G1 ) เป็นคอลัมน์ตารางของ G2 กับไอออนบวกจึงสมัครงานในกฎต่อไปนี้ : ทุกกฎของแบบฟอร์ม x → keyboard - key - name AB . . . . . . . CZ ในขวาตารางจะถูกแทนที่ด้วยสองกฎของแบบฟอร์ม X1 → keyboard - key - name AB . . . . . . . cz1 ( เฉพาะสัญลักษณ์ล่าสุดในด้านขวามีการเปลี่ยนแปลง ) และ X2 a1b1 → keyboard - key - name . . . . . . .c1z2 ( ทุกสัญลักษณ์ในด้านขวาจะเปลี่ยนไป ) ที่ X1 A1 , B1 , . . . . . . . Z1 , α 1 ชนิดของ nonterminals ใหม่และ X2 , αกขึ้นเป็น 2 ประเภท nonterminals ใหม่ ทราบว่า กฎของประเภท X1 → keyboard - key - name AB . . . . . . . cz1 จะ rewritean ' ภายใน ' สัญลักษณ์ในตำแหน่งคอลัมน์ของเรย์เขียนใหม่ ส่วนกฎของประเภท X2 a1b1 → keyboard - key - name . . . . . . . c1z2 จะ rewritea ' corner'symbol .ตารางคอลัมน์ที่คล้ายกันของกฎมีรูปแบบสอดคล้องกับซ้าย tableing1.likewiseforupanddowntablesofg1.finally สำหรับแต่ละตารางใน et0las G1 ประกอบด้วยกฎของแบบฟอร์มαα→ keyboard - key - name , ทั้งหมด ทำสัญลักษณ์ เทอร์มินอล เราเพิ่มโต๊ะของกฎของแบบฟอร์ม→ keyboard - key - name α A1 A2 → keyboard - key - name αที่ A1 , A2 เป็นสองชนิดของ nonterminals แนะนำใน G2 correponding กับ nonterminal ใน G1 .จะเห็นได้ว่า G2
et0lal สร้างมอบให้