Bài 5. PHÂN TÍCH NGỮ NGHĨA Hoàng Anh Việt Viện CNTT&TT - ĐHBKHN 1 goupee.com fb.com/groups/goupee Tổng kết bài 4 Trước đây: tự viết bộ phân tích cú pháp Hiện nay: sử dụng các trình sinh bộ phân tích cú pháp. VD: yacc, cup, bison Ưu điểm: Sử dụng phương pháp phân tích LALR(1) Cho phép khai báo thứ tự ưu tiên, kết hợp của các phép toán Tự động sinh code phân tích cú pháp (kể cả bảng phân tích LALR(1)) 2 goupee.com fb.com/groups/goupee Nội dung 1. Những vấn đề của ngữ nghĩa 2. Kiểm tra kiểu Hệ thống kiểu trong ngôn ngữ lập trình 3. Bảng ký hiệu 3 goupee.com fb.com/groups/goupee Phân tích ngữ nghĩa Chương trình nguồn Phân tích từ vựng Lỗi từ vựng dãy từ tố Phân tích cú pháp Lỗi cú pháp cây cú pháp Phân tích ngữ nghĩa goupee.com Chương trình đúng: cây cú pháp điều khiển Lỗi ngữ nghĩa fb.com/groups/goupee 1. Những vấn đề của ngữ nghĩa Tìm ra các lỗi sau giai đoạn phân tích cú pháp Kiểm tra sự tương ứng về kiểu Kiểm tra sự tương ứng giữa việc sử dụng hàm, biến với khai báo của chúng. Xác định phạm vi ảnh hưởng của các biến trong chương trình Phân tích ngữ nghĩa thường sử dụng cây cú pháp 5 goupee.com fb.com/groups/goupee 2. Kiểm tra kiểu Kiểm tra xem chương trình có tuân theo các luật về kiểu của ngôn ngữ không Trình biên dịch quản lý thông tin về kiểu Việc kiểm tra kiểu được thực hiện bởi bộ kiểm tra kiểu (type checker), một bộ phận của trình biên dịch 6 goupee.com fb.com/groups/goupee Ví dụ kiểm tra kiểu Toán tử % của C chỉ thực hiện khi các toán hạng là số nguyên Chỉ có mảng mới có chỉ số và kiểu của chỉ số phải là số nguyên Một hàm phải có một số lượng tham số nhất định và các tham số phải đúng kiểu Các phép toán đòi hỏi các toán hạng phải phù hợp kiểu Các hàm đòi hỏi tham số phù hợp kiểu Lệnh return phải trả về đúng kiểu trả về của hàm Lệnh gán đòi hỏi kiểu của vế phải phù hợp với kiểu của vế trái Lệnh khai báo kiểu: typedef, class 7 goupee.com fb.com/groups/goupee 2. Kiểm tra kiểu Có ha

… Tải file gốc để đọc toàn bộ tài liệu.