... Xc → c Dạng chuẩn Greibach Định nghĩa 6.5 Một VPPNC thuộc dạng chuẩn Greibach luật sinh có dạng A → ax a ∈ T x ∈ V* Định lý 6.8 Đối với VPPNC G với λ ∉ L(G), tồn văn phạm tương đương dạng chuẩn ... đệ qui trái (tt) Chứng minh Các dạng câu mà A sinh văn phạm G có dạng: * A ⇒ A(x1 + x2 + + xn)* ⇒ yi(x1 + x2 + + xn)* Các dạng câu sinh G1 cách ý Z sinh dạng câu có dạng * Z ⇒ (x1 + x2 + + xn)(x1 ... Một VPPNC thuộc dạng chuẩn Chomsky luật sinh có dạng A → BC, A→a A, B, C ∈ V, a ∈ T Định lý 6.7 Bất kỳ VPPNC G = (V, T, S, P) với λ ∉ L(G) có văn phạm tương đương G1 = (V1, T, S, P1) có dạng chuẩn...