Nhập môn Chương trình dịch

Nhập môn Chương trình dịch Bài 1: Tổng quan Nội dung chính Sơ lược về môn học Các chương trình dịch Chương trình dịch là gì? Tại sao phải biết chúng? Các bộ phận của một chương trình dịch Giới thiệu về “Phân tích từ vựng” Từ luồng văn bản đến luồng từ tố (tokens) Tài liệu Phạm Hồng Nguyên, “Nhập môn Chương trình dịch”. Phạm Hồng Nguyên, “Giáo trình thực hành Chương trình dịch”. Aho, Sethi, Ullman, “Compilers – Principles, Techniques and Tools”. Mục tiêu Ứng dụng thực tế của lý thuyết ngôn ngữ  rất đẹp nhưng rất khó  Phân tích văn bản (parsing) Nâng cao hiểu biết về mã nguồn Sử dụng các cấu trúc dữ liệu phức tạp  rất tốn nơron thần kinh  Hiểu cách cài đặt các ngôn ngữ bậc cao và cách chuyển đổi chúng về ngôn ngữ máy Hiểu ngữ nghĩa của các ngôn ngữ lập trình Lập trình giỏi hơn (đặc biệt là trong nhóm) Chương trình dịch là gì? Chương trình chuyển đổi cách thể hiện này của một chương trình sang cách thể hiện khác. Nhận dạng tính hợp lệ hoặc không hợp lệ của các chương trình. - Nhằm mục đích tạo ra các đoạn mã đúng, hiệu quả, chính xác. Ví dụ: Chuyển mã nguồn viết trong ngôn ngữ bậc cao sang ngôn ngữ máy Ví dụ: *.CPP  *.EXE *.JAVA  *.CLASS (bytecode) Mã nguồn Được tối ưu để tạo cảm giác thân thiện, dễ dùng đối với lập trình viên Có cú pháp gần giống ngữ pháp của ngôn ngữ tự nhiên Có nhiều câu lệnh phức tạp hơn ngôn ngữ máy int expr(int n) { int d; d = 4 * n * n * (n + 1) * (n + 1); return d; } Mã máy Được tối ưu cho phần cứng Giảm tối đa số câu lệnh thừa Mã Assembly ≈ mã máy Dịch như thế nào ? Mã nguồn và mã máy không giống nhau Độ phức tạp của các ngôn ngữ bậc cao cũng khác nhau Mục tiêu của các chương trình dịch: Cho phép lập trình viên sử dụng ngôn ngữ nguồn để lập trình Chương trình dịch chuyển sang mã máy với hiệu quả cao nhất có thể Tốc độ dịch cao ( và Các từ tố (token) là các đơn vị cơ bản của cú pháp If (a và Ví dụ: Khi cần gỡ lỗi, thông báo lỗi, mô tả từ tố sẽ bao gồm cả vị trí của từ tố: file, số dòng Ví dụ: Các vấn đề trong PTTV Cách mô tả từ tố Các thuộc tính Bảng kí hiệu Cài đặt các bộ PTTV Phương pháp AD-HOC Phương pháp nhận dạng biểu thức chính quy NFAs DFAs