Main idea: Reverse engineer the pro

Main idea: Reverse engineer the productions from transitions
If δ(q,a,Z) => (p, Y1Y2Y3…Yk):
State is changed from q to p;
Terminal a is consumed;
Stack top symbol Z is popped and replaced with a sequence of k variables.
Action: Create a grammar variable called “[qZp]” which includes the following production:
[qZp] => a[pY1q1] [q1Y2q2] [q2Y3q3]… [qk-1Ykqk]

Proof discussion (in the book)

Hasil (Bahasa Indonesia) 1:

Ide utama: merekayasa produksi dari transisiJika δ(q,a,Z) = > (p, Y1Y2Y3... YK):Keadaan berubah dari q menjadi p;Terminal telah habis dikonsumsi;Simbol atas tumpukan Z adalah muncul dan diganti dengan urutan k variabel. Tindakan: Buat tata bahasa variabel disebut "[qZp]" yang meliputi produksi berikut:[qZp] = > [pY1q1] [q1Y2q2] [q2Y3q3]... [qk-1Ykqk]Bukti diskusi (dalam buku)

Hasil (Bahasa Indonesia) 2:

Gagasan utama: Reverse insinyur produksi dari transisi
Jika δ (q, a, Z) => (p, Y1Y2Y3 ... Yk):
Negara berubah dari q ke p;
Terminal sebuah dikonsumsi;
Stack atas simbol Z muncul dan diganti dengan urutan variabel k.
Action: Buat variabel tata bahasa yang disebut "[qZp]" yang meliputi produksi berikut:
[qZp] => a [pY1q1] [q1Y2q2] [q2Y3q3] ... [QK-1Ykqk] diskusi Proof (dalam Book)