Ngôn ngữ hình thức - 31
PDA tương đương M = <Q, Σ, Γ, δ, q , Z , >: 0 0 - Q = {q}; - Σ = {+, * , a}; - Γ = {S}; - q = q; 0 - Z = S; 0 - δ: 1. δ (q, +, S) = (q, SS) vì S → +SS; 2. δ (q, * , S) = (q, SS) vì S → * SS; 3. δ (q, a, S) = (q, ) vì S → a. 2) S → aS | bS | aA; A → bB| b; B ...