Tạo ra thuật toán phân tích vạn năng (không bị hạn chế bởi luật văn phạm). Tạo ra thuật toán phân tích tốc độ cao[r]
(1)CHƯƠNG TRÌNH DỊCH
(2)1 Khắc phục hạn chế phương pháp thử-sai Các phương pháp phân tích cú pháp vạn Áp dụng quy hoạch động vào phân tích cú pháp Thuật toán Cocke – Younger – Kasami (CYK)
Dạng chuẩn Chomsky (CNF)
Ý tưởng
Mã minh họa
Đánh giá thuật toán
(3)Khắc phục hạn chế phương pháp thử-sai
(4) Hai thuật toán thử-sai top-down bottom-up có hạn chế văn phạm đầu vào
Top-down: văn phạm khơng có đệ quy trái
Bottom-up: văn phạm khơng có suy dẫn rỗng khơng có kí hiệu đệ quy (A ⇒+ A)
Các thuật tốn thử-sai có hạn chế mặt tốc độ
Tốc độ chấp nhận với số văn phạm đơn giản đơn nghĩa, đầu vào ngắn
Trường hợp xấu có độ phức tạp tính tốn hàm mũ
(5)Các hạn chế thử-sai
Nguyên nhân hạn chế
Hạn chế thân chế hoạt động thử-sai
Khơng có chế loại bỏ phương án chắc-chắn-sai
Ví dụ: q trình suy dẫn S thành w = abcdefg S ⇒ … ⇒ abcAx ⇒ … ⇒ abcdefg
Ta nhận thấy phương án có chuỗi trung gian abcAx
hồn tồn khơng thể đạt chuỗi w mong muốn
Vì x kí hiệu khơng kết thúc, ln ln tồn suy dẫn tiếp theo, chuỗi w không chứa x
(6)Các phương pháp phân tích cú pháp vạn năng
(7)Phương pháp phân tích vạn năng
Như thuật tốn thử-sai có điểm yếu
1 Hệ luật văn phạm bị hạn chế
2 Yêu cầu nhiều thời gian tính tốn
Vì có mục tiêu
1 Tạo thuật tốn phân tích vạn (khơng bị hạn chế luật văn phạm)
2 Tạo thuật toán phân tích tốc độ cao
Tất nhiên có thuật tốn đạt mục tiêu tốt