Bài 4. PHÂN TÍCH CÚ PHÁP Hoàng Anh Việt Viện CNTT&TT - ĐHBKHN 1 fb.com/groups/ Mục đích Sau khi học xong chương này, sinh viên sẽ nắm được: Các phương pháp phân tích cú pháp Cách cài đặt một bộ PTCP từ một Văn phạm phi ngữ cảnh Các khái niệm và sử dụng công cụ sinh bộ PTCP: Yacc. 2 fb.com/groups/ Điều kiện Kiến thức cần có: Kiến thức cơ bản về Automat. Kiến thức về văn phạm phi ngữ cảnh CFG. 3 fb.com/groups/ Tài liệu tham khảo [1] Slide bài giảng [2] Compilers : Principles, Technique and Tools - Alfred V.Aho, Jeffrey D.Ullman - Addison - Wesley Publishing Company, 1986. [3] Automata and Formal Language, An Introduction- Dean Kelley- Prentice Hall, Englewood Cliffs, New Jersey 07632 [4] Compilers course, CS 143 summer 2010, Standford University. [5] Compiler Design – Reinhard Wilhelm, Dieter Maurer 4 Addison – Wesley Publishing Company, 1996. fb.com/groups/ Nội dung 1. Vai trò của bộ phân tích cú pháp (PTCP) 2. Văn phạm của ngôn ngữ lập trình 3. Phân tích cú pháp từ trên xuống 4. Phân tích cú pháp từ dưới lên 5. Bộ sinh bộ PTCP 5 fb.com/groups/ Nội dung 1. Vai trò của bộ phân tích cú pháp (PTCP) 2. Văn phạm của ngôn ngữ lập trình 3. Phân tích cú pháp từ trên xuống 4. Phân tích cú pháp từ dưới lên 5. Bộ sinh bộ PTCP 6 fb.com/groups/ 1. Vai trò của bộ phân tích cú pháp Bộ phân tích cú pháp nhận chuổi các token từ bộ phân tích từ vựng để tạo ra cấu trúc cú pháp của chương trình nguồn. Tồn tại ba loại bộ phân tích cú pháp: Phương pháp tổng quát: Cocke-Younger-Kasami. Earley. Phương pháp thông dụng: Phân tích từ trên xuống hay phân tích từ dưới lên. 7 fb.com/groups/ 1. Vai trò của bộ phân tích cú pháp Mã nguồn (dãy các kí tự) Phân tích từ vựng If (a == 0) min = a; Dãy các từ tố (token) If ( Id:a == 0 ) Id:min = Id:a ; if Cây cú pháp == a = 0 min ; Phân tích cú pháp a Phân tích ngữ nghĩa