CHƯƠNG TRÌNH DỊCH - CHƯƠNG 1 pps
Nhập môn Chương trình dịch - Bài 1 ppsx
... $ 31, ($26) ,1
lda $30 ,-3 2($30)
stq $26,0($30)
stq $15 ,8($30)
bis $30,$30, $15
bis $16 , $16 , $1
stl $1, 16( $15 )
lds $f1 ,16 ( $15 )
sts $f1,24( $15 )
ldl $5,24( $15 )
bis $5,$5,$2
s4addq $2,0,$3
ldl $4 ,16 ( $15 )
mull $4,$3,$2
ldl ... $16 ,0,$0
mull $16 ,$0,$0
addq $16 ,1, $16
mull $0, $16 ,$0
mull $0, $16 ,$0
ret $ 31, ($26) ,1
Mã máy chưa tối ưu
lda $30 ,-3 2($30)
stq $26,0...
CHƯƠNG TRÌNH DỊCH - CHƯƠNG 1 pps
...
điều 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 ... đếnmức
đ
ộ
t
ự
có
Giáo trình Kiến trúc máy tính và Hệ
điều hành
9
CHƯƠNG 1. NHẬP MÔN CHƯƠNG TRÌNH DỊCH
TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀNẴNG
1. Các khái niệmcơ bản
1. 3....
GIÁO TRÌNH MÔN CHƯƠNG TRÌNH DỊCH PHẦN 1
... nghĩa chương trình dịch:
chương trình nguồn (ngôn ngữ bậc cao)
chương trình dịch
chương trình đích (ngôn ngữ máy)
Lỗi
Hình 1. 1: Sơ đồ một chương trình dịch
Chương trình dịch là một chương trình ... một chương trình để dịch các
chương trình trên ngôn ngữ này sang mã máy để có thể chạy được. Những chương
trình làm nhiệm vụ như vậy gọi là các c...
Nhập môn Chương trình dịch - Bài 14 pps
... 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 lệnh đã mô tả
• E[v] = TEMP(v)
• E[e
1
+ e
2
] = ADD([e
1
], [e
2
])
• ... Ví dụ: e
1
& e
2
• Có nhiều cách tính
– Sử dụng toán tử có sẵn:
E[e
1
& e
2
] = AND([e
1
], [e
2
])
– Tự tính toán
ESEQ(SEQ(MOVE(TEMP(x), 0),
CJUMP([e1], t1, no_set),...
Nhập môn Chương trình dịch - Bài 13 pps
... 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 (n < 10 ) {
n = n + 1;
}
SEQ(
MOVE(TEMP(n), ... nút
SEQ 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...
Nhập môn Chương trình dịch - Bài 12 pps
... 0) return 1;
else return x * 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
├ ... : 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 2006 – 2007
Bài 12 : Luậ...
Nhập môn Chương trình dịch - Bài 4 ppsx
... number
Nếu 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 * 3
*
3
+
1 2
+
1 *
2 3
Phân tích ... 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 ...
CHƯƠNG TRÌNH DỊCH - CHƯƠNG 2 pps
... đoạn
chương trình
- Nốitiếp các trạng thái: nốitiếp2 đoạnchương
trình tương ứng
-
-
Lệnh rẽ nhánh
Lệnh lặp
Giáo trình Kiến trúc máy tính và Hệ
điều hành
30
TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀNẴNG
CHƯƠNG ... TÍCH TỪ VỰNG
- Mục đích
- Nội dung
- Otomat hữuhạn đơn định
- Bộ phân tích từ vựng
- Bảng danh biểu
Giáo trình Kiến trúc máy tính và Hệ
điều hành
49
TRƯỜN...
Tài liệu Xây dựng CHƯƠNG TRÌNH DỊCH - Chương 3: Phân tích cú pháp doc
... tập F0, F1,…Fi -1 , tính Fi
–
F
i
(A)={a|a∈V
T
, Nếu A→X
1
X
2
X
n
∈ P
,
thì
a ∈F
i -1
(X
1
)⊕ F
i -1
(X
2
) ⊕…⊕F
i -1
(X
n
)
4.
Thuật toán dừng khi các Fi không đổi (luôn đúng vì Fi -1 ( X)
⊆
Fi(X) ... pháp phân tích tất định
46
02/24 /14
Toán tử ⊕
Cho V1 và V2 là 2 tập ký hiệu.
Định nghĩa toán tử
⊕
V1
⊕
V2 = V1 nếu ε
∉
V1
= (V 1- { ε})
∪
V2 nếu ε
∈
V1
Ví dụ
{a,...
Xây dựng CHƯƠNG TRÌNH DỊCH - Chương 2: Phân tích từ vựng potx
... khi đọc hết xâu vào 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 ... ngôn ngữ KPL
14
04/02 /14
Ô tô mát hữu hạn→Ví dụ
∀
Σ = {a,b,c}
•
Q = {q
0
, q
1
}
•
q
0 =
q
0
•
F = {q
1
}
2. Biểu diễn cấu trúc từ vựng
δ
a b c
q
0
q
1
q
0
q
0
q
1
q
0
q
1...