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

Bài 7 của bài giảng Chương trình dịch trang bị cho người học những kiến thức về phân tích ngữ nghĩa. Trong bài giảng này sẽ giới thiệu một số nội dung như: Biểu thức kiểu, hệ thống kiểu, luật ngữ nghĩa kiểm tra kiểu. Cùng tham khảo bài giảng để nắm bắt các nội dung chi tiết. | Nguyễn Phương Thái Bộ môn Khoa học Máy tính Nội dung Biểu thức kiểu Hệ thống kiểu Luật ngữ nghĩa kiểm tra kiểu Giới thiệu Mô đun phân tích ngữ nghĩa: kiểm tra tính đúng đắn về mặt ngữ nghĩa của chương trình nguồn Việc kiểm tra được chia làm hai loại: kiểm tra tĩnh kiểm tra động (kiểm tra động xảy ra lúc chương trình đích chạy) Trong bài giảng này ta chỉ xét một số dạng của kiểm tra tĩnh Giới thiệu (tiếp) kiểm tra kiểu: kiểm tra về tính đúng đắn của các kiểu toán hạng trong biểu thức. kiểm tra dòng điều khiển: một số điều khiển phải có cấu trúc hợp lý, ví dụ như lệnh break trong ngôn ngữ C phải nằm trong một vòng lặp. kiểm tra tính nhất quán: có những ngữ cảnh mà trong đó một đối tượng được định nghĩa chỉ đúng một lần. Ví dụ, trong Pascal, một tên phải được khai báo duy nhất, các nhãn trong lệnh case phải khác nhau, và các phần tử trong kiểu vô hướng không được lặp lại. kiểm tra quan hệ tên: Đôi khi một tên phải xuất hiện từ hai lần trở lên. Ví dụ, trong Assembly, một chương trình con có một tên mà chúng phải xuất hiện ở đầu và cuối của chương trình con này. Biểu thức kiểu Kiểu của một cấu trúc ngôn ngữ được biểu thị bởi “biểu thức kiểu” Một biểu thức kiểu có thể là: một kiểu cơ bản kiểu hợp thành: được xây dựng từ các kiểu cơ bản theo một số toán tử nào đó Kiểu cơ bản boolean, char, interger, real type_error : một kiểu cơ bản đặc biệt dùng để trả về một cấu trúc bị lỗi kiểu void: một kiểu cơ bản đặc biệt khác, biểu thị các cấu trúc không cần xác định kiểu như câu lệnh Kiểu hợp thành Mảng. Nếu T là một biểu thức kiểu thì array(I,T) là một biểu thức kiểu đối với một mảng các phần tử kiểu T và I là tập các chỉ số. Ví dụ, trong ngôn ngữ Pascal khai báo: var A: array[110] of interger; sẽ xác định kiểu của A là array(110,interger) Tích của biểu thức kiểu là một biểu thức kiểu. Nếu T1 và T2 là các kiểu biểu thức kiểu thì tích Đề các của T1xT2 là một biểu thức kiểu. Kiểu hợp thành (tiếp) Bản ghi. Kiểu của một bản ghi chính là biểu .

• Kỹ thuật lập trình
• Chương trình dịch
• Bài giảng Chương trình dịch
• Phân tích ngữ nghĩa
• Biểu thức kiểu
• Hệ thống kiểu
• Kiểm tra kiểu
• Ứ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
• 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
• Đồ thị phụ thuộc
• Xây dựng cây cú pháp
• 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