TAILIEUCHUNG - Bài giảng Chương trình dịch: Bài giảng 6 - Nguyễn Phương Thái

Bài giảng Chương trình dịch - Bài giảng 6 trình bày về biên dịch dựa cú pháp. Các nội dung chính được trình bày trong bài giảng này gồm có: Cú pháp điều khiển, các loại thuộc tính, đồ thị phụ thuộc, lược đồ dịch, cú pháp điều khiển trong phân tích LL. Mời tham khảo. | Nguyễn Phương Thái Bộ môn Khoa học Máy tính Nội dung Cú pháp điều khiển Các loại thuộc tính Đồ thị phụ thuộc Lược đồ dịch Cú pháp điều khiển trong phân tích LL Cú pháp điều khiển Cú pháp điều khiển (syntax-directed definition): là một dạng tổng quát hoá của văn phạm phi ngữ cảnh, trong đó mỗi ký hiệu văn phạm có một tập thuộc tính đi kèm, được chia thành 2 tập con là thuộc tính tổng hợp (synthesized attribute) và thuộc tính kế thừa (inherited attribute) của ký hiệu văn phạm đó. Một cây phân tích cú pháp có trình bày các giá trị của các thuộc tính tại mỗi nút được gọi là cây phân tích cú pháp có chú giải (ngữ nghĩa) (annotated parse tree). Cú pháp điều khiển (tiếp) Định nghĩa: Trong mỗi cú pháp điều khiển, mỗi sản xuất A-> có thể được liên kết với một tập các qui tắc ngữ nghĩa có dạng b=f(c1, . . .,ck) với f là một hàm và b là một thuộc tính tổng hợp của A, còn c1, . . .,ck là các thuộc tính của các ký hiệu trong sản xuất đó. Hoặc b là một thuộc tính kế thừa của một trong những ký hiệu ở vế phải của sản xuất, còn c1, . . . ,ck là thuộc tính của các ký hiệu văn phạm. Ví dụ về thuộc tính tổng hợp Sản xuất Luật ngữ nghĩa L -> E n Print() E -> E1 + T = + E -> T = T -> T1 * F = * T -> F = F -> ( E ) = F -> digit = (syntax: F1->3 semantic: ) (syntax: F2->3 semantic: ) (syntax: T2->F1 semantic: ) *4=12 (syntax: T1->T2*F2 semantic: *) (syntax: F3->4 semantic: ) (syntax: T3->F3 semantic: ) (syntax: E1->E2+T3 semantic: ) “16” (syntax: L->E1 n semantic: print()) L E1 E2 T3 T1 T2 * F2 F1 3 + F3 n 4 4 Câu vào “3*4+4” Ví dụ về thuộc tính kế thừa Sản xuất Luật ngữ nghĩa D -> T L := T -> int := interger T -> real := real L -> L1, id

• Kỹ thuật lập trình
• Chương trình dịch
• Bài giảng Chương trình dịch
• Biên dịch dựa cú pháp
• Cú pháp điều khiển
• Đồ thị phụ thuộc
• Phân tích LL
• Ứ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
• Ngôn ngữ học
• Phương pháp dịch
• Xây dựng chương trình dịch
• Đề thi Xây dựng chương trình dịch
• Ôn thi Xây dựng chương trình dịch
• Ôn tập Xây dựng chương trình dịch
• 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
• 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ừ
• Cài đặt chương trình dịch
• Sinh mã trung gian
• Trình biên 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
• Phân tích ngữ nghĩa
• Biên dịch trực tiếp cú pháp
• Máy trừu tượng kiểu chồng
• 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
• Bộ xử lý ngôn ngữ
• Dịch trực tiếp cú pháp
• Định nghĩa trực tiếp cú pháp
• Xây dựng cây cú pháp
• 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
• Quản lý dịch hại tổng hợp
• Giáo trình Quản lý dịch hại tổng hợp
• Xây dựng chương trình huấn luyện
• Huấn luyện quản lý dịch hại
• Quản lý dịch hại tổng hợp MĐ07
• Tiêu diệt dịch hại
• 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
• 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
• 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