Bài giảng phương pháp nghiên cứu khoa học mô hình ý tưởng

CHƯƠNG TRÌNH DỊCH Giới thiệu Mục tiêu giáo trình Cung cấp kiến thức chương trình dịch Cung cấp phương pháp phân tích từ vựng, phân tích cú pháp Cơ sở cho việc tìm hiểu ngơn ngữ lập trình Rèn luyện kỹ lập trình cho sinh viên Giới thiệu Nội dung giáo trình CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH CHƯƠNG PHÂN TÍCH TỪ VỰNG CHƯƠNG CÁC VẤN ĐỀ CƠ BẢN VỀ PHÂN TÍCH CÚ PHÁP CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm Đặc trưng ngôn ngữ lập trình (NNLT) bậc cao Các qui tắc từ vựng cú pháp Các chức trình biên dịch Chương CHƯƠNG NHẬP MÔN CHƯƠNG TRÌNH DỊCH Các khái niệm 1.1 Sự phát triển ngơn ngữ lập trình 1.2 Khái niệm chương trình dịch 1.3 Phân loại chương trình dịch 1.4 Các ứng dụng khác kỹ thuật dịch Chương CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm 1.1 Sự phát triển ngôn ngữ lập trình NN máy (machine language) Hợp ngữ (Assembly) NNLT bậc cao (Higher _level language) Chương CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm 1.2 Khái niệm chương trình dịch Chương trình dịch chương trình dùng để dịch chương trình (CT nguồn) viết NNLT (NN nguồn) sang chương trình tương đương (CT đích) NN khác (NN đích) Chương CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm 1.3 Phân loại chương trình dịch  Trình biên dịch Dữ liệu CT nguồn Trình biên dịch Thời gian dịch CT đích Máy tính thực thi Kết Thời gian thực thi CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm 1.3 Phân loại chương trình dịch  Trình thơng dịch Dữ liệu CT nguồn Trình thơng dịch Kết CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm 1.4 Các ứng dụng khác kỹ thuật dịch - Trong hệ thống: phần giao tiếp người máy thông qua câu lệnh - Hệ thống xử lý NN tự nhiên: dịch thuật, tóm tắt văn 10 Chương CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui  CT biểu diễn cho biểu đồ cú pháp: (2) Sự rẽ nhánh tạo thành cấu trúc chọn β1 If k/htiep∈first(β 1) Then t(β 1) β2 Elseif k/htiep∈first(β 2) Then t(β2) β3 Elseif k/htiep∈first(β 3) Then t(β 3) Else baoloi; 253 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui  (3) CT biểu diễn cho biểu đồ cú pháp: Lặp kiểm tra đk sau β Repeat t(β) Until k/htiep∉first(β) (4) Lặp kiểm tra đk trước β While k/htiep∈first(β) t(β) 254 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui  (5) CT biểu diễn cho biểu đồ cú pháp: a If k/htiep=a Then k/htiep=k/htieptheo xâu x Else baoloi; (6) B goi B //t(B); 255 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui khơng quay lui  Thuật tốn: k/htiep: ký hiệu kết thúc; function Dockh:ký hiệu kết thúc; {đọc k/hiệu tiếp x} Procedure Baoloi; {đưa thông báo lỗi, dừng} Procedure β I;{các Ctcon biểu diễn A∈Δ} 256 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui khơng quay lui  Thuật tốn: Procedure PTCP; Begin k/htiep:=Dockh; S; if k/htiep=$ then x CP else baoloi; End 257 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui Ví dụ: E  TE’ E’+TE’ | ε T  FT’ T’*FT’ | ε F(E) | id 258 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui khơng quay lui Ví dụ: Biểu đồ cú pháp E: T + E’: T: F T’: E’ T T’ * F T’ ( E ) E’ F: id 259 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui khơng quay lui Ví dụ: giải thuật ctcon tương ứng k/htiep: ký hiệu kết thúc; function Dockh:ký hiệu kết thúc; {đọc k/hiệu tiếp x} Procedure Baoloi; {đưa thông báo lỗi, dừng} 260 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui khơng quay lui Ví dụ: giải thuật ctcon tương ứng Procedure E; Begin T; Ephay; End; 261 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui khơng quay lui Ví dụ: giải thuật ctcon tương ứng Procedure Ephay; Begin If k/htiep=+ Then Begin k/htiep:=Dockh; T; Ephay; End; End; 262 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui Ví dụ: giải thuật ctcon tương ứng Procedure T; Begin F; Tphay; End; 263 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui Ví dụ: giải thuật ctcon tương ứng Procedure Tphay; Begin If k/htiep=* Then Begin k/htiep:=Dockh; F; Tphay; End; End; 264 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui Procedure F; Begin If k/htiep=id Then k/htiep:=Dockh Else If k/htiep=( Then Begin k/htiep:=Dockh; E; if k/htiep=) Then k/htiep:=Dock Else baoloi; End 265 Else baoloi; End; CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui  Thuật toán: Procedure PTCP; Begin k/htiep:=Dockh; E; if k/htiep=$ then x CP else baoloi; End 266 CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP Phương pháp phân tích cú pháp xuống 2.4 Phương pháp đệ qui không quay lui Bài tập: Xây dựng giải thuật đệ qui không quay lui cho VP LL(1) phần tập vài phép biến đổi VP LL(1) 267 ... VỀ PHÂN TÍCH CÚ PHÁP CHƯƠNG CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP CHƯƠNG NHẬP MƠN CHƯƠNG TRÌNH DỊCH Các khái niệm Đặc trưng ngơn ngữ lập trình (NNLT) bậc cao Các qui tắc từ vựng cú pháp Các chức trình... cú pháp 3.1 Bản chữ - Gồm ký hiệu phép sử dụng để viết chương trình - Số lượng, ý nghĩa sử dụng ký tự chữ NN khác - Nhìn chung chữ NNLT: + 52 chữ cái: A Z, az + 10 chữ số: 9 12 + Các ký hiệu... tích từ vựng Ngồi hình qui ước Otomat thơng thường lại có thêm: * q Trạng thái kết thúc trả lui ký tự vừa đọc 42 CHƯƠNG PHÂN TÍCH TỪ VỰNG Lập phân tích từ vựng 4.1 Phương pháp mô Mỗi trạng thái: