CHƯƠNG TRÌNH DỊCH - CHƯƠNG 2 pps

... chuyểncủamộtOtomatnhư sau: δ(1,a) =2, δ (2, b) =2, δ (2, c) =2 δ abc 12 222 Giáo trình Kiến trúc máy tính và Hệ điều hành 50 TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀNẴNG CHƯƠNG 2. PHÂN TÍCH TỪ VỰNG 5. Bảng danh ... chuyểncủamộtOtomatnhư sau: δ(1,a) =2, δ (2, b) =2, δ (2, c) =2 1 2 a b c Giáo trình Kiến trúc máy tính và Hệ điều hành 33 TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀNẴNG CHƯƠNG 2. PHÂN TÍCH TỪ V...

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

... E’ -& gt; E. E -& gt; E.+T Goto (I 1 , +) I 6 : E -& gt; .E+T E -& gt; E+.T T -& gt; .T*F T -& gt; .F F -& gt; .(E) F -& gt; .a Goto (I 0 , T) I 2 : E -& gt; T. T -& gt; T.*F Goto (I 2 , *) I 7 : T -& gt; ... F->id 0 F 3 * id + id $ thu gọn T->F 0 T 2 * id + id $ gạt 0 T 2 * 7 id + id $ gạt 0 T 2 * 7 id 5 + id $ thu gọn F->id 0 T 2 * 7...

Ngày tải lên: 03/10/2013, 12:20

... mà ô-tô-mát ở trạng thái kết thúc, xâu được gọi là được đoán nhận bởi ô-tô-mát 2. Biểu diễn cấu trúc từ vựng 17 04/ 02/ 14 Chương 2: Phân tích từ vựng 1. Nhiệm vụ của bộ phân tích từ vựng 2. Biểu ... trên bộ chữ {a,b,c} có lẻ ký hiệu a 22 04/ 02/ 14 Nhận dạng từ tố Xây dựng xong từ vựng, cần nhận dạng từ tố – Là tên trạng thái cuối cùng của Ô-tô-mát – Nếu Ô-tô-mát kết thúc ở trạng t...

Ngày tải lên: 01/04/2014, 23:20

... 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 lệnh đã mô tả • E[v] = TEMP(v) • E[e 1 + e 2 ] = ADD([e 1 ], [e 2 ]) • S[v ... JUMP(NAME(l 2 )) – C[e 1 ==e 2 , l 1 , l 2 ] = CJUMP(EQ(E[e 1 ], E[e 2 ]), l 1 , l 2 ) – C[e 1 & e 2 , l 1 , l 2 ] = SEQ(C[e 1 , t, l 2 ], LABEL(t), C[e 2 ,...

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

... là i CONST(i) Phép gán • Cách dịch • Vấn đề: nút MOVE không có giá trị, làm thế nào để dịch x = (y = 2) ? e 1 = e 2 MOVE [e 2 ][e 1 ] ESEQ [e 1 ] e 1 = e 2 MOVE [e 2 ][e 1 ] Ví dụ n = 0; while ... trong biểu diễn IR • Nếu [s 1 ] và [s 2 ] là biểu diễn IR của nút s 1 và s 2 • thì SEQ([s 1 ], [s 2 ]) là biểu diễn IR của s 1 ; s 2 SEQ [s 1 ] [s 2 ] s1; s2 Ngôn ngữ trung gi...

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

... 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*fact(x-1) ... int A 2 ├ x : int A 2 ├ x*fact(x-1) : 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 20 06 – 20 07 Bài...

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

... phải + 5+ +1 +2 43 (1 + 2 + (3 + 4)) + 5 Ví dụ  Suy dẫn trái S  E+S  (S) + S  (E + S )+ S  (1 + S)+S  (1+E+S)+S  (1 +2+ S)+S  (1 +2+ E)+S  (1 +2+ (S))+S  (1 +2+ (E+S))+S  (1 +2+ (3+S))+S  (1 +2+ (3+E))+S ... xâu vào là 1 + 2 * 3 Suy dẫn 1: S  S + S  1 + S  1 + S * S  1 + 2 * S  1 + 2 * 3 Suy dẫn 2: S  S * S  S + S * S  1 + S * S  1 + 2 * S  1 + 2 *...

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

... 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 = digit+ int = -? posint real ... 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

... $3,1,$4 mull $2, $4, $2 ldl $3,16($15) addq $3,1,$4 mull $2, $4, $2 stl $2, 20($15) ldl $0 ,20 ($15) br $31,$33 $33: bis $15,$15,$30 ldq $26 ,0($30) ldq $15,8($30) addq $30, 32, $30 ret $31,( $26 ),1 lda $30 ,-3 2( $30) stq ... được viết đúng)  Ý nghĩa – Khó có thể gỡ rối một chương trình với một chương trình dịch được viết sai – Chương trình dịch cũng là 1 chương trì...

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

... hành 11 CHƯƠNG 1. NHẬP MÔN CHƯƠNG TRÌNH DỊCH TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀNẴNG 2. Đặctrưng của NNLT bậccao - Tính tự nhiên - Tính thích nghi - Tính hiệuquả - Tính đadạng Chương 2 Giáo trình Kiến ... NGHỆ THÔNG TIN CHƯƠNG TRÌNH DỊCH Giáo trình Kiến trúc máy tính và Hệ điều hành 23 CHƯƠNG 1. NHẬP MÔN CHƯƠNG TRÌNH DỊCH TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀNẴNG 4. Các chứcnăng củ...

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