- Habib Bahruddin (1301174412)
- Muhammad Kana Riskilah (1301174186)
- Evan Hisyam Aradhana (1301174432)
M = (S, Σ, √, δ, q0, {q2,q3,q4,q4,q5})
S = {q0,q1,q2,q3,q4,q5}
Σ = {S,P,O,K}
√ = {S,P,O} # Limited word to PDL (Push Down Language)
δ merupakan mapping dari S x ( Σ U {e} ) x √
Hasil dari δ sebagai berikut:
δ(q0, λ,λ; q1,#)
δ(q1, S,λ; q1,S)
δ(q1, P,S; q2,P)
δ(q2, P,S; q2,P)
δ(q2, O,P; q3,O)
δ(q2, O,P; q3,O)
δ(q3, O,P; q3,O)
δ(q3, K,O; q4,K)
δ(q4, K,O; q4,λ)
δ(q4, λ,#; q5,λ)
Maka didapat CFG sebagai berikut:
q0 -> Sq1
q1 -> Pq2
q2 -> Oq3 | Kq4 | λ
q3 -> Kq4 | λ
q4 -> λ
