Nhập môn Chương trình dịch - Bài 6 pot
Nhập môn Chương trình dịch - Bài 6 pot
... 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ữ lậ...
Nhập môn Chương trình dịch - Bài 9 pot
... i++) {
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
... hiện trong phạm vi (scope) của
chương trình: bảng kí hiệu (symbol table)
Cài đặt bảng kí hiệu (1)
• Bảng kí hiệu cho phép kiểm tra kiểu của
các tên trong chương trình
class SymTab {
Type lookup(String ... Nộp bài tậ...
Nhập môn Chương trình dịch - Bài 2 potx
... 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”, “ 567 8”
“123”, -5 67 8”
“123”, -5 67 8.123”
“min”, “cal_Max1”
digit = [ 0-9 ]
posint = ... vào của chương trình sinh ra chương trình
PTTV là đặc tả của chương trình PTTV: REs,
mức độ ưu tiên và các hành động tương ứng
Bài tới: hoạt động của các...
Nhập môn Chương trình dịch - Bài tập ppt
...
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ới...
Nhập môn Chương trình dịch - Bài 15 docx
... Nhập môn Chương trình dịch
Học kì II 20 06 – 2007
Bài 15: Làm phẳng cây IR
Cài đặt
class CanonicalExpr {
IRStmt[ ] pre_stmts;
IRExpr ... gốc của cây IR
• Một hàm được biểu diễn dưới dạng
SEQ(s
1
, s
2
, … s
n
)
• Có thể dịch thành mã mãy bằng cách dịch
lần lượt s
1
, s
2
, …, s
n
rồi nối mã lại với
nhau.
SEQ
s
1
s
2
s
n
…
Cú pháp ... CALL(…)
… …
SEQ
EXP
CALL(…)
… …
Cú pháp đi...
Nhập môn Chương trình dịch - Bài 14 pps
...
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)
Tổng kết
• Cú pháp điều khiển mô tả cách ... 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 lệnh...
Nhập môn Chương trình dịch - Bài 13 pps
... địa chỉ của một
tên trên bộ nhớ
• VD: địa chỉ của một nhãn nhảy
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
... đại diện cho hằng số
• Giá trị của nút 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ưới...
Nhập môn Chương trình dịch - Bài 12 pps
... 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 – 2007
Bài 12: Luật ngữ nghĩa (tiếp)
Luật ngữ nghĩa: định nghĩa hàm
• C/C++: hàm ... 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 :...
Nhập môn Chương trình dịch - Bài 11 ppt
... Nhập môn Chương trình dịch
Học kì II 20 06 - 2007
Bài 11: Luật ngữ nghĩa
Ví dụ
A ├ E
1
: int A ├ E
2
: int
A ├ E
1
+ E
2
: ... giá kiểu (kiểm tra kiểu) là quá trình
lần ngược cây cú pháp dựa vào các luật
Luật ngữ nghĩa: lệnh While
• Với các lệnh không có kiểu, ta đưa vào
một kiểu giả - unit (unit = có kiểu đúng)
A ├
Nhập môn Chương trình dịch - Bài 10 pptx
... kiểu: typedef, class
Nội dung
• Kiểm tra kiểu
• Cài đặt các biểu thức kiểu
Nhập môn Chương trình dịch
Học kì II 20 06 – 2007
Bài 10: Biểu thức kiểu
Ví dụ: C++
• Kiểu cơ bản: int, char, …
• Kiểu phức ... toán tử ==
trong lớp Type
Hệ thống kiểu (2): định nghĩa kiểu
• Một số ngôn ngữ cho phép người lập trình
tự định nghĩa kiểu
• VD: C++
typedef int int_array[ ];
class cView { …...
Từ khóa:
- tiểu luận môn chương trình dịch
- bài tập nhập môn lập trình
- slide bài giảng chương trình dịch
- bai tap nhap mon lap trinh
- hướng dẫn giải bài tập nhập môn lập trình
- bài tập nhập môn lập trình hướng đối tượng
- bài tập nhập môn lập trình c
- sách hướng dẫn giải bài tập nhập môn lập trình
- vật lý 11 chương trình chuẩn bài 18 thực hành khảo sát đặc tính chỉnh lưu của diod bán dẫn và đặc tính khuyếch đại của transistor pot