オートマトンと形式言語

以下の問題分かりません。
わかりやすく教えていただけないでしょうか
下記の文脈自由文法からプッシュダウンオートマトンを構成し，空欄を埋めなさい．
G=<{S, {a, b, c}, {p1, p2, p3, p4}, S>，
ここで
p1: S → aSb
p2: S → bS
p3: S → Sa
p4: S → c
プッシュダウンオートマトン
M=<Q, Σ, Γ, δ, q0, Z0, F>，
ここで
Q = {q0, q1, q2}
Σ = {a, b, c}
Γ = Σ∪Z0∪{□ ,□ , □, S}
q0 = q0
F = q2

δ: Q×(Σ⋃{ε})×Γの部分集合→2Q✕Γ*
δ(q0, ε, Z0)=(q1, □Z0)
δ(q1, ε, S)={(q1,□□□ ), (q1,□□ ),(q1, S□ ), (q1,□ )}
δ(q1, a,□ )=(q1,□ )
δ(q1, b,□ )=(q1,□)
δ(q1, c,□ )=(q1,□)
δ(q1,□ , Z0)=(q2, Z0)

No.1 ベストアンサー 回答者： stomachman 回答日時： 2015/07/29 05:12

丸投げするにしたってですね、

> G=<{S, {a, b, c}, {p1, p2, p3, p4}, S>，

せめて正しく書き写せ。