Tài liệu Đơn giản hóa VPPNC và các dạng chuẩn

Các phương pháp để biến đổi văn phạm
Chuỗi trống đóng một vai trò khá đặc biệt trong nhiều định lý
và chứng minh, và thường cần có một sự chú ý đặc biệt cho nó.
Nếu L ∋ λ thì biểu diễn L = L1 ∪ λ với L1 = L - λ. Nếu
G1 = (V1, T, S1, P1)
là văn phạm biểu diễn cho L1 thì
G = (V1 ∪ {S}, T, S, P1 ∪ {S → S1 | λ})
là văn phạm biểu diễn cho L.
Trong chương này, chúng ta chỉ xem xét các NNPNC không
chứa λ.
Tuy nhiên những kết luận cho ngôn ngữ không chứa λ vẫn có
thể áp dụng cho ngôn ngữ có chứa λ.