Tham khảo tài liệu 'tài liệu trình biên dịch c (đh cần thơ) part 14', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | CHƯƠNG V DỊCH TRỰC TIẾP CÚ PHÁP Nội dung chính Khi viết một chương trình bằng một ngôn ngữ lập trình nào đó ngoài việc quan tâm đến cấu trúc của chương trình cú pháp - văn phạm ta còn phải chú ý đến ý nghĩa của chương trình. Như vậy khi thiết kế một trình biên dịch ta không những chú ý đến văn phạm mà còn chú ý đến cả ngữ nghĩa. Chương 5 trình bày các cách biểu diễn ngữ nghĩa của một chương trình. Mỗi ký hiệu văn phạm kết hợp với một tập các thuộc tính - các thông tin. Mỗi luật sinh kết hợp với một tập các luật ngữ nghĩa - các quy tắc xác định trị của các thuộc tính. Việc đánh giá các luật ngữ nghĩa được sử dụng để thực hiện một công việc nào đó như tạo ra mã trung gian lưu thông tin vào bảng ký hiệu xuất các thông báo lỗi . Ta sẽ thấy rõ việc đánh giá này ở các chương sau 6 8 9. Hai cách để kết hợp các luật sinh với các luật ngữ nghĩa được trình bày trong chương là Định nghĩa trực tiếp cú pháp và Lược đồ dịch. Ở mức quan niệm bằng cách sử dụng định nghĩa trực tiếp cú pháp hoặc lược đồ dịch ta phân tích dòng thẻ từ xây dựng cây phân tích cú pháp và duyệt cây khi cần để đánh giá các luật ngữ nghĩa tại các nút của cây. 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 cách kết hợp các luật sinh với các luật ngữ nghĩa Định nghĩa trực tiếp cú pháp và Lược đồ dịch. Biết cách thiết kế chương trình - bộ dịch dự đoán - thực hiện một công việc nào đó từ một lược đồ dịch hay từ một định nghĩa trực tiếp cú pháp xác định. Tài liệu tham khảo 1 Compilers Principles Technique and Tools - Alfred Jeffrey - Addison - Wesley Publishing Company 1986. 2 Modern Compiler Implementation in C - Andrew W. Appel - Cambridge University Press 1997. I. ĐỊNH NGHĨA TRỰC TIẾP CÚ PHÁP Định nghĩa trực tiếp cú pháp là sự tổng quát hóa một văn phạm phi ngữ cảnh trong đó mỗi ký hiệu văn phạm kết hợp với một tập các thuộc tính. Cây phân tích cú pháp có trình bày giá trị các thuộc tính tại mỗi nút gọi là cây chú thích . 1. Khái niệm về định nghĩa trực tiếp cú pháp
