NHẬP MÔN CHƯƠNG TRÌNH DỊCH

... III. Cải tiến chương trình phân tích từ vựng - Thêm vào các từ tố cho các câu lệnh for, switch … case - Thông báo lỗi từ vựng: chỉ ra vị trí xảy ra lỗi - Hồi phục lỗi: bỏ qua lỗi và dịch tiếp ... lỗi: bỏ qua lỗi và dịch tiếp để bắt hết các lỗi từ vựng IV. Nộp bài tập Sinh viên cần nộp các tài liệu sau - Chương trình - Tài liệu: khoảng 2 trang A4 o Giớ...

Ngày tải lên: 24/07/2014, 08:21

... Nhập môn Chương trình dịch Học kì II 2006 – 2007 Bài 15: Làm phẳng cây IR Cài đặt class CanonicalExpr { IRStmt[ ] pre_stmts; IRExpr ... CALL(…) … … SEQ EXP CALL(…) … … Cỳ phỏp iu khin: OP ã Lut ny ó th hin đúng ý đồ của người lập trình chưa? J[e 1 ] = (s 1 , s 2 ,…, s n ); e 1 ’ J[OP(e 1 , e 2 )] = (s 1 , s 2 ,…, s n , s 1 ’, ... lm gc ca cõy IR ã Mt hm c biu din di dng SEQ(s...

Ngày tải lên: 24/07/2014, 08:21

... LABEL(t), [s], LABEL(f)) làm phẳng cây IR SEQ SEQ s 3 s 1 s 2 SEQ s 2 s 3 s 1 Nhập môn Chương trình dịch Học kì II 200 6-2 007 Bài 14: Sinh mã trung gian (tiếp) Tng kt ã Cỳ phỏp iu khin mụ t cỏch chuyn ... nỳt con ã Cú pháp điều khiển – Mô tả chính xác chương trình dịch cần làm gì – Có thể cài đặt dễ dàng – Có thể chứng minh tính đúng của chương trình dịch Cỏc ln...

Ngày tải lên: 24/07/2014, 08:21

... i din cho a ch ca mt tờn trờn b nh ã VD: a ch ca mt nhón nhy NAME(n) Nhập môn Chương trình dịch Học kì II 200 6-2 007 Bài 13: Sinh mã trung gian ... gian (13 nút) Pentium (>200 lệnh) Cu trỳc ca IR ã Gc ca cõy l mt nỳt lnh ã Cỏc nỳt biu thc nm di nỳt lnh ã Ch cú nỳt biu thc ESEQ cú nỳt lnh nm di ã Cú thể duyệt cây IR để chạy chương trình ... của hàm CALL e f CALL(e f...

Ngày tải lên: 24/07/2014, 08:21

... : int A 2 ├ x : int A 2 ├ 0 : int A 2 ├ x == 0 : bool A 2 ├ 1 : int Nhập môn Chương trình dịch Học kì II 2006 – 2007 Bài 12: Luật ngữ nghĩa (tiếp) Lut ng ngha: nh ngha hm ã C/C++: hm c vit ... fact(x-1); } A 1 = {fact: int  int} A 2 = {fact: int  int, x : int} A 2 ├ x : int A 2 ├ 1 : int A 2 ├ x - 1 : int A 2 ├ fact : int  int A 2 ├ fact(x-1) : int A 2 ├ x : int A 2 ├ x*...

Ngày tải lên: 24/07/2014, 08:21

... Nhập môn Chương trình dịch Học kì II 2006 - 2007 Bài 11: Luật ngữ nghĩa Ví dụ A ├ E 1 : int A ├ E 2 : int A ├ E 1 + E 2 : ... phm ã ỏnh giỏ kiu (kim tra kiu) l quá trình lần ngược cây cú pháp dựa vào các luật Lut ng ngha: lnh While ã Vi cỏc lnh khụng cú kiểu, ta đưa vào một kiểu giả - unit (unit = có kiểu đúng) A ├ E

Ngày tải lên: 24/07/2014, 08:21

... tra kiu ã Ci t cỏc biu thc kiểu Nhập môn Chương trình dịch Học kì II 2006 – 2007 Bài 10: Biểu thức kiểu Vớ d: C++ ã Kiu c bn: int, char, ã Kiu phc hp: int [100 ], struct {int a, char b} ã Biu

Ngày tải lên: 24/07/2014, 08:21

... { boolean b = } { i: int, n: int } { i: int, n: int, b: boolean } ? Nhập môn Chương trình dịch Học kì II 200 6-2 007 Bài 09: Phân tích ngữ nghĩa ... xuất hiện trong phạm vi (scope) của chương trình: bảng kí hiệu (symbol table) Ci t bng kớ hiu (1) ã Bng kớ hiu cho phép kiểm tra kiểu của các tên trong chương trình class SymTab { Type lookup(String ... th tn dng tớnh l...

Ngày tải lên: 24/07/2014, 08:21

... khi thu gọn Nhập môn Chương trình dịch Học kì II 200 6-2 007 Bài 8: Phân tích LR (tiếp) Lập trình bộ phân tích cú pháp 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 ... pháp Lỗi ngữ nghĩa Chương trình đúng: cây cú pháp điều khiển cây cú pháp dãy từ tố Chương trình nguồn Cây cú pháp Là kết quả của bộ phân tích cú pháp Là một dạng t...

Ngày tải lên: 24/07/2014, 08:21

...  SL  SL  SL  S 7 S  (L)S  (L)S  (L)S  (L)S  (L) 6 s8s65 104 g5g7s2s33 SidSidSidSidSid 2 g4s2s31 LS$,id)( Nhập môn Chương trình dịch Học kì II 200 6-2 0 07 Bài 7: Phân tích LR Phân ... (2) (s 1 x 1 s 2 x 2 … s n-r x n-r … s n-1 x n-1 s n )  Hoạt động: với a là kí hiệu vào – Gạt a, chuyển tới trạng thái s với s = (s n , a) = gạt s (s 1 x 1 s 2 x 2 … s n-r...

Ngày tải lên: 24/07/2014, 08:21

... ngay khi xuất hiện – Cho phép phục hồi khi lỗi xảy ra Nhập môn Chương trình dịch Học kì II 20 06 – 2007 Bài 6: Phân tích dưới lên (bottom-up parsing) Phân tích dưới lên (1)  Suy dẫn phải  Cây ... lên (bottom-up parsing)  Kỹ thuật phân tích mạnh hơn  Văn phạm lớp LR có khả năng mô tả mạnh hơn văn phạm lớp LL, có thể mô tả văn phạm đệ quy trái (có trong hầu hết các ngôn ngữ...

Ngày tải lên: 24/07/2014, 08:21

... LL(1) (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 (1+2+(3+4)) +5 ( ( 1 1 + 2 2 + ( ( 3 3 + 4 S ES’ (S)S’ (ES’)S’ (1S’)S’ (1+S)S’ (1+ES’)S’ (1+2S’)S’ (1+2+S)S’ (1+2+ES’)S’ (1+2+(S)S’)S’ (1+2+(ES’)S’)S’ (1+2+(3S’)S’)S’ (1+2+(3+S)S’)...

Ngày tải lên: 24/07/2014, 08:21

... S 2 1 3 E 5 + 5+ +1 +2 43 Nhập môn Chương trình dịch Bài 4: Phân tích cú pháp (syntactic analysis) Ý nghĩa Cây suy dẫn khác nhau cho kết quả tính toán khác nhau Văn phạm nhập nhằng  Có nhiều cách hiểu chương trình ... quy digit = [ 0-9 ] posint = digit+ int = -? posint real = int (ε | (. posint)) Vế trái của REs có thể phát triển đến các kí hiệu vào real = -...

Ngày tải lên: 24/07/2014, 08:21

... NFA & DFA – Trạng thái = một số nguyên Ví dụ Xâu vào: -2 3 0 1 2 3 - ε 0-9 0-9 ε {2, 3 }-2 3 {2, 3 }-2 {1 }- {0,1} Chuyển đổi NFA - DFA Có thể chuyển NFA thành DFA bằng phương pháp tương tự Lập ... 2 3 - ε 0-9 0-9 ε {0,1} {1} - {2 ,3} 0-9 0-9 0-9 Ôtômát hữu hạn (FA)  Biểu diễn ôtômát hữu hạn – Bằng bảng chuyển trạng...

Ngày tải lên: 24/07/2014, 08:21

... NFAs – DFAs  Bài tập về nhà 1 Nhập môn Chương trình dịch Bài 2: Phân tích từ vựng Ví dụ “0”, 2 , “9” “ 123 ”, “5678” “ 123 ”, -5 678” “ 123 ”, -5 678. 123 ” “min”, “cal_Max1” digit = [ 0-9 ] posint ... bước chính của chương trình dịch  Phân tích từ vựng là gì?  Viết một chương trình phân tích từ vựng  Mô tả từ tố - biểu thức chính quy (REs)  Viết một...

Ngày tải lên: 24/07/2014, 08:21