Download
1 / 2
20 likes | 218 Views
Văn phạm TT-P cho NNCQ. Định lý 3.4 Nếu L là 1 NNCQ trên bảng chữ cái Σ , thì tồn tại 1 VPTT phải G = ( V, Σ , S, P) sao cho L = L(G). NFA sang VPTT: Cho M = ( Q, Σ , δ, q0 , F ) là 1 NFA chấp nhận L. Q = { q0, q1, q2, ..., qn } Σ = {a1, a2, a3, ...., an}
E N D
Văn phạm TT-P cho NNCQ • Địnhlý 3.4 • Nếu L là 1 NNCQ trênbảngchữcáiΣ, thìtồntại 1 VPTT phải G = ( V, Σ, S, P) saocho L = L(G). • NFA sang VPTT: • Cho M = ( Q, Σ, δ, q0, F) là 1 NFA chấp nhận L. • Q = {q0, q1, q2, ..., qn} • Σ = {a1, a2, a3, ...., an} • Chuyển sang văn phạm tuyến tính phải G = ( V, Σ, S, P) như sau: B1: Mỗi trạng thái trong dfa trở thành biến trong văn phạm, V = Q, S = q0 B2: Với mỗi chuyển trạng thái δ(qi, aj) = qk của M ta xây dựng luật sinh TT phải tương ứng qi → ajqk. B3: Đối với mỗi trạng thái qf ∈ F chúng ta xây dựng luật sinh qf → λ.
Văn phạm TT-P cho NNCQ • Ví dụ: • Xây dựng VPTT phải cho ngôn ngữ L(aab*a) • Với ngôn ngữ, tao có sơ đồ nfa như sau • Chuyển đổi luật sinh, ta có luật sinh sau G : q0 → aq1 q1 → aq2 q2→ aqf| bq2 qf → λ Theo định lý 3.4, ta tìm được kết quả. Chuỗi aaba có thể được sinh ra bởi văn phạm q0aq1aaq2aabq2aabaqfaaba
