tailieunhanh - Bài giảng Chương trình dịch: Bài 12 - Trương Xuân Nam

Bài giảng Chương trình dịch: Bài 12 do Trương Xuân Nam biên soạn, cùng nắm kiến thức trong bài học này thông qua tìm hiểu các nội dung sau: Bộ phân tích cú pháp tất định, tiếp cận top-down, phân tích LL, bảng phân tích LL,. | CHƯƠNG TRÌNH DỊCH Bài 12: Phân tích văn phạm bằng thuật toán LL Nội dung 1. Bộ phân tích cú pháp tất định 2. Tiếp cận top-down 3. Phân tích LL(1) FIRST FOLLOW Bảng phân tích LL(1) Ví dụ 4. Bài tập TRƯƠNG XUÂN NAM 2 Phần 1 Bộ phân tích cú pháp tất định TRƯƠNG XUÂN NAM 3 Ràng buộc về thời gian tính toán Các thuật toán phân tích vạn năng (CYK, Earley) Phân tích mọi văn phạm phi ngữ cảnh Tốc độ chấp nhận được: O(n3) với n là độ dài chuỗi vào Đối với những mã nguồn các ngôn ngữ lập trình, giá trị của n có thể lên tới vài triệu, bài toán phân tích văn phạm trở nên rất đặc biệt Tốc độ chấp nhận được nếu là gần tuyến tính O(n) Văn phạm đơn giản, chặt chẽ, đơn nghĩa Hệ quả là nảy sinh nhu cầu xây dựng các bộ phân tích văn phạm tất định (deterministic) TRƯƠNG XUÂN NAM 4 Chiến lược tất định Thế nào là “tất định” – do ràng buộc độ phức tạp tính toán là O(n), hệ quả là: Khi nhận một kí hiệu đầu vào, bộ phân tích văn phạm cần ngay lập tức quyết định sẽ sử dụng luật sinh nào cho trường hợp này Quyết định chọn luật sinh nào cần phải đủ tốt để không phải thử lại phương án khác Tính chất “tất định” ~ không có quay lui Cái giá phải trả cho sự “tất định”: các bộ phân tích văn phạm sẽ không còn vạn năng nữa, nhưng đủ tốt để dùng trong thực tế TRƯƠNG XUÂN .

• Kỹ thuật lập trình
• Bài giảng Chương trình dịch
• Chương trình dịch
• Phân tích văn phạm bằng thuật toán
• Bộ phân tích cú pháp tất định
• Chiến lược tất định
• Tiếp cận top down
• Ứng dụng chương trình dịch
• Chương trình dịch điển hình
• Một hệ thống dịch
• Đặc trưng của chương trình dịch
• Biên dịch chương trình
• Ngữ cảnh của trình biên dịch
• Phân tích từ vựng
• Phân tích cú pháp
• Nhập môn chương trình dịch
• Khái niệm chương trình dịch
• Cấu trúc một chương trình dịch
• Bài toán chương trình dịch
• Bài giảng Nhập môn chương trình dịch
• Kỹ thuật dịch
• Quá trình biên dịch
• Ngôn ngữ lập trình cấp cao
• Các loại chương trình dịch
• Ngôn ngữ máy
• Ngôn ngữ bậc cao
• Kiến trúc của một chương trình dịch
• Xây dựng chương trình dịch
• Bài giảng Xây dựng chương trình dịch
• Máy ngăn xếp
• Xây dựng bảng ký hiệu
• Chương trình đích được dịch từ
• Trình biên dịch
• Phân tích ngữ nghĩa
• Sinh mã trung gian
• Cài đặt chương trình dịch
• Bài giảng Trình biên dịch
• Ngôn ngữ lập trình
• Đặc tả ngôn ngữ lập trình
• Các giai đoạn của trình biên dịch
• Trình biên dịch trực tiếp cú pháp
• Biên dịch trực tiếp cú pháp
• Máy trừu tượng kiểu chồng
• Bộ xử lý ngôn ngữ
• Bài toán phân tích cú pháp
• Giải thuật phân tích top down quay lui
• Ký hiệu không kết thúc A
• Điều kiện để thực hiện giải thuật
• Kiểm tra kiểu
• Sinh mã cho lệnh gán
• Biểu thức logic
• Cấu trúc lập trình
• Ngữ nghĩa của trình biên dịch
• Cú pháp của trình biên dịch
• Trình biên dịch đơn giản
• Thiết kế trình biên dịch
• Dịch trực tiếp cú pháp
• Định nghĩa trực tiếp cú pháp
• Đồ thị phụ thuộc
• Xây dựng cây cú pháp
• Văn phạm sản sinh
• Suy dẫn trái
• Suy dẫn phải
• Sơ đồ cú pháp
• Công thức siêu ngữ Backus
• Sơ đồ cú pháp của KPL
• Bộ phân tích từ vựng
• Từ tố của KPL
• Từ tố có cấu trúc cú pháp
• Phân tích cú pháp tiền định
• bảng phân tích tiền định
• Văn phạm LL
• Văn phạm G phi ngữ cảnh
• Ngôn ngữ phi ngữ cảnh
• Phương pháp đệ quy trên xuống
• bộ phân tích cú pháp
• Bộ phân tích cú pháp KPL
• Cú pháp của lệnh KPL
• Tối ưu mã
• Tối ưu trên DAG
• Tối ưu vòng đơn giản
• Tối ưu hóa cục bộ
• Chương trình đích
• Máy tính ảo
• Bộ sinh mã
• Thuật toán sinh mã