Tôi đang cố gắng để chứng minh những điều sau đây: Nếu G là một bối cảnh miễn phí Grammar in dạng chuẩn Chomsky, sau đó cho bất kỳ chuỗi w thuộc L (G) có độ dài n ≥ 1, nó đòi hỏi chính xác 2n -1 bước
Chuyển ngữ pháp dưới đây thành Biểu mẫu bình thường Chomsky. Cung cấp tất cả các bước trung gian. S -> AB | aB
A -> aab|lambda
B -> bbA
Ok do đó, điều đầu tiên tôi làm là thêm một biến khởi đầu mớ