Chương trình dịch

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC DÂN LẬP HẢI PH ÒNG ISO 9001:2008 ĐỀ CƯƠNG CHI TIẾT Môn học CHƯƠNG TRÌNH DỊCH Mã môn : COM33021 Dùng cho ngành CÔNG NGHỆ THÔNG TIN Bộ môn phụ trách CÔNG NGHỆ PHẦN MỀM THÔNG TIN VỀ CÁC GIẢNG VIÊN CÓ THỂ THAM GIA GIẢNG DẠY MÔN HỌC 1.ThS Nguyễn Thị Thanh Thoan - Giảng viên hữu - Chức danh, học hàm, học vị: Thạc sỹ - Thuộc môn: Công nghệ phần mềm, khoa: Công nghệ thông tin - Địa liên hệ: Bộ môn Công nghệ phần mềm, khoa: Công nghệ thông tin - Điện thoại: 031.3739878 E mail: thoanntt@hpu.edu.vn - Các hướng nghiên cứu chính: Phân tích thiết kế hệ thống thông tin, Ch ương trình dịch, Data mining 2.ThS Nguyễn Thị Xuân Hương - Chức danh, học hàm, học vị: Thạc sỹ - Thuộc môn: Công nghệ phần mềm, khoa: Công nghệ thông tin - Địa liên hệ: Bộ môn Công nghệ phần mềm, khoa: Công nghệ thông tin - Điện thoại: 031.3739878 Email: huong_ntxh@hpu.edu.vn - Các hướng nghiên cứu chính: Khai phá liệu, Ch ương trình dịch, Cấu trúc liệu giải thuật , Lập trình C/C++ 3.Thông tin trợ giảng (nếu có): Họ tên: - Chức danh, học hàm, học vị: - Thuộc môn/lớp: - Địa liên hệ: - Điện thoại: Email: - Các hướng nghiên cứu chính: THÔNG TIN VỀ MÔN HỌC Thông tin chung: - Số đơn vị học trình/ tín chỉ: tín Các môn học tiên quyết: Otomat ngôn ngữ hình thức, Vi xử lý ngôn ngữ máy,Lập trình C/C++, Cấu trúc liệu Giải thuật, - Các môn học kế tiếp: - Các yêu cầu môn học: Bài giảng chi tiết, máy chiếu, thực hành - Thời gian phân bổ hoạt động: + Nghe giảng lý thuyết: 14 tiết + Làm tập lớp: 10 tiết + Thảo luận: tiết + Thực hành, thực tập (ở PTN, nhà máy, điền dã, ): 10 tiết + Hoạt động theo nhóm: Không + Tự học: 95 tiết + Kiểm tra: tiết Mục tiêu môn học: - Kiến thức: Giúp sinh viên nắm vững nguyên lý ngôn ngữ lập trình; Hiểu sâu ngôn ngữ lập trình, nắm điểm mạnh, điểm yếu ngôn ngữ Từ biết cách lựa chọn ngôn ngữ lập tr ình thích hợp cho dự án - Kỹ : nâng cao trình độ hiểu biết tay nghề, giúp sinh viên nhanh chóng cải thiện hiểu biết kỹ lập trình mình, biết cách áp dụng vào thực tế - Thái độ: Tạo cho sinh viên tinh thần phấn khởi, tin tưởng yêu thích môn học, ngành học 3.Tóm tắt nội dung môn học: - Nghiên cứu cấu trúc tổng quát ch ương trình dịch (cấu trúc tĩnh cấu trúc động) - Nghiên cứu chức nhiệm vụ vủa phân tích ch ương trình dịch - Tìm hiểu số ngôn ngữ lập tr ình bậc cao SLANG, PL/0, PASCAL,C/C++ - Tìm hiểu trình sinh mã tối ưu mã - Biết cách xây dựng chương trình dịch cho ngôn ngữ đ ơn giản PL/0 SLANG 4.Học liệu: Bắt buộc [1] Phạm Hồng Nguyên, Giáo trình lý thuyết thực hành môn học chương trình dịch, Khoa Công nghệ ĐHQG Hà nội 1998 [2] Trần Đức Quang, Trình biên dịch: nguyên lý, kỹ thuật công cụ, NXB KHKT, 2000 [3] Nguyễn Văn Ba, Ngôn ngữ hình thức, NXB ĐHBK Hà nội, 1994 Tham khảo [4] Alfred V.Aho, Monica S.Lan, Ravi Sethi, Jeffrey D.Uman, Compilers, Principles techniques and tools,Addison Wesley,1986 [5] Alfred V.Aho, Jeffrey D.Uman, The theory ò passing, translation, and Compiling,Prentice – Hall, inc, 1980 5.Nội dung hình thức dạy - học: Hình thức dạy – học Nội dung (Ghi cụ thể theo chương, mục, tiểu mục) Lý Bài Thảo TH, TN, thuyết tập luận điền dã Tổng Tự Kiểm (tiết) học, tra tự NC CHƯƠNG : TỔNG QUAN VỀ CHƯƠNG TRÌNH DỊCH 1.1 Giới thiệu môn học chương trình dịch 1.1.1 Giới thiệu môn học 1.1.2 Định nghĩa CTD 1.5 0.5 7.5 10.5 0.5 0.5 1.1.3 Phân loại 1.1.4 Nhiệm vụ CT D 1.1.5 Yêu cầu kiến thức 1.1.6 Mục đích môn học 1.2 Cấu trúc chương trình dịch 1.2.1 Cấu trúc tĩnh 1.2.2 Cấu trúc động 1.2.3 Vị trí CTD hệ thống dịch thực 1.2.4 Các đặc trưng ngôn ngữ lập trình bậc cao CHƯƠNG 2: PHÂN TÍCH T Ừ VỰNG 2.1 Văn phạm quy ôtmat hữu hạn 2.1.1 Văn phạm quy 2.1.2 Otomat hữu hạn Hình thức dạy – học Nội dung (Ghi cụ thể theo chương, mục, tiểu mục) Lý Bài Thảo TH, TN, thuyết tập luận điền dã Tổng Tự Kiểm (tiết) học, tra tự NC 2.2 Mục đích nhiệm vụ phân tích từ vựng 2.2.1 Mục đích 2.2.2 Nhiệm vụ 0 1 10 15 0.5 0.5 7.5 9.5 3 16 24 3 16 26 2.2.3 Từ tố (Token), từ vị (lexeme) mẫu (pattem) 2.3 Biểu diễn từ tố 2.3.1 Phương pháp dùng biểu thức quy 2.3.2 Phương pháp dựng đồ thị chuyển 2.4.Các bước để xây dựng phân tích từ vựng CHƯƠNG 3: PHÂN TÍCH CÚ PHÁP 3.1 Văn phạm phi ngữ cảnh ôtomat đẩy xuống 3.1.1 Văn phạm phi ngữ cảnh 3.1.2 Otomat đẩy xuống 3.2 Vai trò phân tích cú pháp 3.3 Phát lỗi xử lý lỗi cú pháp 3.4 Các chiến lược phục hồi lỗi 3.5 Các phương pháp phân tích cú pháp 3.5.1 LL(1) Chiến lược phân tích TOP_DOWN v 3.5.2 LR Chiến lược phân tích BOTTOM – UP Hình thức dạy – học Nội dung (Ghi cụ thể theo chương, mục, tiểu mục) Lý Bài Thảo TH, TN, thuyết tập luận điền dã Tổng Tự Kiểm (tiết) học, tra tự NC CHƯƠNG : PHÂN TÍCH NGỮ NGHĨA 4.1 Mục đích nhiệm vụ phân tích ngữ 0.5 11 16.5 0.5 8.5 0.5 0.5 10 14 10 10 95 140 nghĩa 4.2 Các hệ thống kiểu 4.3 Bảng ký hiệu (cây định danh) 4.3.1 Mục đích, nhiệm vụ 4.3.2 Các yêu cầu bảng ký hiệu 4.3.3 Cấu trúc liệu bảng ký hiệu 4.3.4 Quy tắc sử dụng bảng ký hiệu CHƯƠNG 5: VẤN ĐỀ SINH MÃ 5.1 Mục đích nhiệm vụ 5.2 Mã ba địa (three address code) 5.3 Các vấn đề thiết kế sinh mã 5.3.1 Đầu vào 5.3.2 Đầu 5.3.3 Quản lý nhớ 5.3.4 Chọn thị lệnh 5.3.5 Máy đích Tổng (tiết) 6.Lịch trình tổ chức dạy – học cụ thể: Tuần Nội dung CHƯƠNG : TỔNG QUAN VỀ CHƯƠNG TRÌNH DỊCH Giới thiệu môn 1.1 học chương trình dịch 1.1.1 học Giới thiệu môn Chi tiết hình thức tổ chức dạy - Nội dung yêu cầu sv học phải chuẩn bị trước - Giảng viên giảng - Đặt câu hỏi cho sinh viên - Yêu cầu sinh viên đưa câu hỏi, vấn đề thắc mắc - Mời sinh viên khác trả lời câu hỏi - Giáo viên bổ sung cho câu trả lời sinh viên Ghi Nội dung Chi tiết hình thức tổ chức dạy - Nội dung yêu cầu sv học phải chuẩn bị trước 1.1.2 Định nghĩa CTD - Giáo viên tổng kết lại nội dung 1.1.3 Phân loại 1.1.4 D Nhiệm vụ CT 1.1.5 thức Yêu cầu kiến Tuần 1.1.6 Mục đích môn học 1.2 Cấu trúc chương trình dịch 1.2.1 Cấu trúc tĩnh - Giảng viên giảng 1.2.2 Cấu trúc động - Yêu cầu sinh viên đặt câu hỏi Gọi sinh viên khác trả lời Sau Chuẩn bị trước giảng viên bổ sung cho câu trả lời nội dung từ mục 1.2 cần Vị trí CTD 1.2.3 hệ thống dịch thực 1.2.4 Các đặc trưng ngôn ngữ lập trình bậc cao CHƯƠNG 2: PHÂN TÍCH TỪ VỰNG 2.1 Văn phạm quy ôtmat hữu hạn 2.1.1 quy Văn phạm 2.1.2 Otomat hữu hạn - Giảng viên tổng kết lại nội dung - Giảng viên yêu cầu sinh viên ôn lại kiến thức Nắm vững ngôn ngữ - Gọi sinh viên đặt câu hỏi lập trình C, gọi sinh viên khác trả lời; sau Pascal giảng viên bổ sung câu trả lời Ôn tập kiến thức (nếu cần) văn phạm - Gọi sinh viên lên bảng làm tập quy Otomat - Gọi sinh viên khác nhận xét, bổ hữu hạn sung (nếu cần) Xem lại tập - Giảng viên kết luận 2.2 Mục đích nhiệm vụ phân tích từ vựng 2.2.4 Mục đích 2.2.5 Nhiệm vụ - Đặt câu hỏi cho sinh viên - Yêu cầu sinh viên đưa câu Ôn tập lại khái niệm hỏi, vấn đề thắc mắc ngôn ngữ lập trình C - Gọi sinh viên trả lời, nhận xét, bổ sung ý (nếu cần) 2.2.6 Từ tố (Token), từ vị (lexeme) mẫu - Giảng viên bổ sung cho câu trả Ghi Tuần Nội dung (pattem) Chi tiết hình thức tổ chức dạy - Nội dung yêu cầu sv học phải chuẩn bị trước lời (nếu cần) - Giảng viên kết luận - Giảng viên giảng 2.3 Biểu diễn từ tố 2.3.1 Phương pháp dùng biểu thức quy 2.3.2 Phương pháp dựng đồ thị chuyển - Giảng viên đặt câu hỏi cho sinh viên Nắm cách biểu diễn biểu thức - Gọi sinh viên khác trả lời, quy nhận xét, bổ sung ý (nếu cần) Otomat - Yêu cầu sinh viên đạt câu hỏi - Giảng viên giảng Đọc nội dung 2.4.Các bước để xây - -Gọi sinh viên lên bảng làm tập chương 2, chuẩn bị dựng phân tích câu hỏi - Gọi sinh viên khác nhận xét, bổ từ vựng sung - Giảng viên kết luận CHƯƠNG 3: PHÂN TÍCH CÚ PHÁP 3.1 Văn phạm phi ngữ cảnh ôtomat đẩy xuống 3.1.1 Văn phạm phi ngữ cảnh 3.1.2 xuống Otomat đẩy 3.2 Vai trò phân tích cú pháp - Giảng viên yêu cầu sinh viên nhắc lại kiến thức học - Giảng viên tổng hợp lại nội dung Ôn tập lại văn phạm - Giảng viên đặt câu hỏi cho sinh phi ngữ cảnh viên Otomat đẩy xuống - Gọi sinh viên khác trả lời, Xem lại số nhận xét, bổ sung ý (nếu cần) tập - Giảng viên giảng - Gọi sinh viên lên bảng làm tập - Gọi sinh viên khác nhận xét, bổ sung Đọc trước nội dung mục 3.1, 3.2, chuẩn bị câu hỏi - Giảng viên kết luận 3.3 Phát lỗi xử lý lỗi cú pháp 3.4 Các chiến lược phục hồi lỗi - Giảng viên yêu cầu sinh viên nhắc Ôn tập lại văn phạm lại kiến thức học phi ngữ cảnh - Giảng viên tổng hợp lại nội dung Otomat đẩy xuống - Giảng viên đặt câu hỏi cho sinh Xem lại số viên tập - Gọi sinh viên khác trả lời, Đọc trước nội dung nhận xét, bổ sung ý (nếu cần) mục 3.3, 3.4, chuẩn bị câu hỏi - Giảng viên giảng Ghi Tuần Nội dung Chi tiết hình thức tổ chức dạy - Nội dung yêu cầu sv học phải chuẩn bị trước - Gọi sinh viên lên bảng làm tập - Gọi sinh viên khác nhận xét, bổ sung - Giảng viên kết luận - Giảng viên giảng - Giảng viên đặt câu hỏi cho sinh viên 3.5 Các phương pháp phân tích cú pháp 3.5.1 Chiến lược phân tích TOP_DOWN LL(1) - Yêu cầu sinh viên đặt câu hỏi cho vấn đề có liên quan Đọc trước nội dung - Gọi sinh viên khác trả lời, từ mục 3.5.1, chuẩn bị câu hỏi nhận xét, bổ sung ý (nếu cần) - Gọi sinh viên lên bảng làm tập.Gọi sinh viên khác nhận xét, bổ sung - Giảng viên kết luận - Giảng viên giảng - Giảng viên đặt câu hỏi cho sinh viên 3.5.1 Chiến lược phân 10 tích TOP_DOWN LL(1) (tiếp) - Yêu cầu sinh viên đặt câu hỏi cho vấn đề có liên quan Đọc trước nội dung - Gọi sinh viên khác trả lời, từ mục 3.5.1, chuẩn nhận xét, bổ sung ý (nếu cần) bị câu hỏi - Gọi sinh viên lên bảng làm tập - Gọi sinh viên khác nhận xét, bổ sung - Giảng viên kết luận Giảng viên giảng - Giảng viên đặt câu hỏi cho sinh viên 3.5.2 Chiến lược phân 11 tích BOTTOM – UP LR Đọc trước nội dung - Yêu cầu sinh viên đặt câu hỏi cho từ mục 3.5.2, chuẩn vấn đề có liên quan bị câu hỏi - Gọi sinh viên khác trả lời, nhận xét, bổ sung ý (nếu cần) - Gọi sinh viên lên bảng làm tập Ghi Tuần Nội dung Chi tiết hình thức tổ chức dạy - Nội dung yêu cầu sv học phải chuẩn bị trước - Gọi sinh viên khác nhận xét, bổ sung - Giảng viên kết luận Giảng viên giảng - Giảng viên đặt câu hỏi cho sinh viên 3.5.2 Chiến lược phân 12 tích BOTTOM – UP LR (tiếp) - Yêu cầu sinh viên đặt câu hỏi cho vấn đề có liên quan Đọc trước nội dung - Gọi sinh viên khác trả lời, từ mục 3.5.2, chuẩn nhận xét, bổ sung ý (nếu cần) bị câu hỏi - Gọi sinh viên lên bảng làm tập - Gọi sinh viên khác nhận xét, bổ sung - Giảng viên kết luận - Giảng viên đặt câu hỏi cho sinh viên CHƯƠNG : PHÂN TÍCH NGỮ NGHĨA 13 4.1 Mục đích nhiệm vụ phân tích ngữ nghĩa 4.2 Các hệ thống kiểu - Yêu cầu sinh viên đặt câu hỏi cho Nắm khái niệm liên quan đến vấn đề có liên quan kiểu liệu, biểu - Gọi sinh viên khác trả lời, thức nhận xét, bổ sung ý (nếu cần) Đọc trước nội dung - Gọi sinh viên lên bảng làm tập mục 4.1, 4.2, - Gọi sinh viên khác nhận xét, bổ chuẩn bị câu hỏi sung - Giảng viên kết luận 4.3 Bảng ký hiệu (cây định danh) 4.3.1 vụ Mục đích, nhiệm 14 4.3.2 Các yêu cầu bảng ký hiệu 4.3.3 Cấu trúc liệu bảng ký hiệu 4.3.4 Quy tắc sử dụng bảng ký hiệu Giảng viên giảng - Giảng viên đặt câu hỏi cho sinh Nắm khái viên niệm liên quan đến - Yêu cầu sinh viên đặt câu hỏi cho kiểu liệu, biểu vấn đề có liên quan thức - Gọi sinh viên khác trả lời, Đọc trước nội dung nhận xét, bổ sung ý (nếu cần) mục 4.3, chuẩn bị - Gọi sinh viên lên bảng làm tập câu hỏi - Gọi sinh viên khác nhận xét, bổ sung Ghi Tuần Nội dung Chi tiết hình thức tổ chức dạy - Nội dung yêu cầu sv học phải chuẩn bị trước - Giảng viên kết luận CHƯƠNG 5: VẤN ĐỀ SINH MÃ - Giảng viên giảng 5.1 vụ - Giảng viên đặt câu hỏi cho sinh viên Mục đích nhiệm 5.2 Mã ba địa (three address code) - Yêu cầu sinh viên đặt câu hỏi cho vấn đề có liên quan 5.3.2 Đầu - Gọi sinh viên lên bảng làm tập 5.3.3 Quản lý nhớ 5.3.4 Chọn thị lệnh - Gọi sinh viên khác nhận xét, bổ sung 5.3.5 Máy đích Chuẩn bị nội - Gọi sinh viên khác trả lời, 5.3 Các vấn đề thiết kế dung chương 15 nhận xét, bổ sung ý (nếu cần) sinh mã Chuẩn bị câu hỏi - Giảng viên tổng kết 5.3.1 Đầu vào - Giảng viên kết luận 7.Tiêu chí đánh giá nhiệm vụ giảng viên giao cho sinh viên: - Sinh viên phải nắm nguyên lý xây dựng ngôn ngữ lập tr ình, biết cách phân tích điểm mạnh, điểm yếu ngôn ngữ - Sinh viên biết cách chọn ngôn ngữ lập trính thích hợp cho dự án m ình - Sinh viên tự xây dựng chương trình dịch đơn giản để chuyển đổi chương trình viết từ ngôn ngữ lập tr ình thành chương trình viết ngôn ngữ lập trình khác - Sinh viên cài đặt số thuật toán phân tích đ ã học 8.Hình thức kiểm tra, đánh giá môn học: - Hoàn thành kiểm tra định kỳ phần lý thuyết (điểm tr ình) - Hoàn thành kiểm tra định kỳ phần thự c hành (điểm trình) - Thi kết thúc học phần 9.Các loại điểm kiểm tra trọng số loại điểm: - Kiểm tra năm học: Thông qua b ài tập, trả lời câu hỏi - Kiểm tra kỳ (tư cách): 30% - Thi hết môn: 70% 10.Yêu cầu giảng viên môn học: Ghi Yêu cầu điều kiện để tổ chức giảng dạy môn học (giảng đ ường, phòng máy, ):  Giảng đường, máy chiếu, máy tính, ph òng thực hành  Sử dụng phần mềm TC Yêu cầu sinh viên (sự tham gia học tập lớp, quy định thời hạn, chất lượng tập nhà, ): Tham gia học tập lớp từ 70% số tiết trở lên, hoàn thành kiểm tra định kỳ, dự buổi thảo luận tr ên lớp Sinh viên phải chuẩn bị tài liệu môn học theo yêu cầu Giảng viên Hải Phòng, ngày 12 tháng 06 năm 2011 Chủ nhiệm Bộ môn Người viết đề cương chi tiết Ths Vũ Anh Hùng Ths Nguyễn Thị Thanh Thoan