... Luận Tốt Nghiệp KS2-K7LỜI NÓI ĐẦUMôn học ngôn ngữ hình thức và automata có rất nhiều ứng dụng trong lĩnh vực khoa học máy tính như xây dựng các trình ... sinh mà không bao giờ đóng góp gì trong bất kỳ dẫn xuất nào. Chẳng hạn trong văn phạm sau toàn bộ tập luật sinh của nó là :S > aSb | λ | AA > aALuật sinh S > A rõ ràng không đóng ... bỏ các luật sinh vô dụng loại 2 ta dựa vào văn phạm G1 (có tập luật sinh P1) vừa có ở trên và vẽ đồ thị phụ thuộc cho nó, sau đó tìm các biến mà không đạt tới được từ S. Loại bỏ các biến này...