Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Chương này giúp sinh viên nắm được: Các phương pháp phân tích cú pháp và các chiến lược phục hồi lỗi, cách tự cài đặt một bộ phân tích cú pháp từ một văn phạm phi ngữ cảnh xác định, cách sử dụng công cụ Yacc để sinh ra bộ phân tích cú pháp. . | CHƯƠNG IV PHÂN TÍCH CÚ PHÁP Nội dung chính: Mỗi ngôn ngữ lập trình đều có các quy tắc diễn tả cấu trúc cú pháp của các chương trình có định dạng đúng. Các cấu trúc cú pháp này được mô tả bởi văn phạm phi ngữ cảnh. Phần đầu của chương nhắc lại khái niệm văn phạm phi ngữ cảnh, cách tìm một văn phạm tương đương không còn đệ quy trái và mơ hồ. Phần lớn nội dung của chương trình bày các phương pháp phân tích cú pháp thường được sử dụng trong các trình biên dịch: Phân tích cú pháp từ trên xuống (Top down) và Phân tích cú pháp từ dưới lên (Bottom up). Các chương trình nguồn có thể chứa các lỗi cú pháp. Trong quá trình phân tích cú pháp chương trình nguồn, sẽ rất bất tiện nếu chương trình dừng và thông báo lỗi khi gặp lỗi đầu tiên. Vì thế cần phải có kỹ thuật để vượt qua các lỗi cú pháp để tiếp tục quá trình dịch - Các kỹ thuật phục hồi lỗi. Từ văn phạm đặc tả ngôn ngữ lập trình và lựa chọn phương pháp phân tích cú pháp phù hợp, sinh viên có thể tự mình xây dựng một bộ phân tích cú pháp. Phần còn lại của chương giới thiệu công cụ Yacc. Sinh viên có thể sử dụng công cụ này để tạo bộ phân tích cú pháp thay vì phải tự cài đặt. Mô tả chi tiết về Yacc được tìm thấy ở phần phụ lục B. Mục tiêu cần đạt: Sau khi học xong chương này, sinh viên phải nắm được: • Các phương pháp phân tích cú pháp và các chiến lược phục hồi lỗi. • Cách tự cài đặt một bộ phân tích cú pháp từ một văn phạm phi ngữ cảnh xác định. • Cách sử dụng công cụ Yacc để sinh ra bộ phân tích cú pháp. Kiến thức cơ bản: Sinh viên phải có các kiến thức về: • Văn phạm phi ngữ cảnh (Context Free Grammar – CFG), Automat đẩy xuống (Pushdown Automata – PDA). • Cách biến đổi từ một CFG về một PDA. Tài liệu tham khảo: [1] Automata and Formal Language. An Introduction – Dean Kelley – Prentice Hall, Englewood Cliffs, New Jersey 07632. [2] Compilers : Principles, Technique and Tools - Alfred V.Aho, Jeffrey D.Ullman - Addison - Wesley Publishing Company, 1986. [3] Compiler Design – Reinhard Wilhelm, Dieter Maurer - Addison - .
