You are on page 1of 2

BÀI TẬP CHUNG

Bài 1. Cho văn phạm phi ngữ cảnh sau:


S → id := E
E → E + E | E ∗ E | id | num
a) Viết các luật sinh dẫn ra câu nhập: t1:= t2 + t3*10 + 60
b) Xây dựng một cây phân tích cú pháp cho câu nhập trên?
Bài 2. Cho văn phạm phi ngữ cảnh sau:
S→SS+|SS*|a
a) Viết các luật sinh dẫn ra câu nhập: a a + a *
b) Xây dựng một cây phân tích cú pháp cho câu nhập trên?
c) Văn phạm này sinh ra ngôn ngữ gì? Giải thích câu trả lời.
Bài 3. Cho văn phạm G chứa các luật sinh sau:
S → aSbS | bSaS | ε
a) Chứng minh văn phạm này là mơ hồ bằng cách xây dựng 2 chuỗi dẫn xuất trái khác
nhau cho cùng câu nhập abab.
b) Xây dựng các chuỗi dẫn xuất phải tương ứng cho câu nhập abab.
c) Vẽ các cây phân tích cú pháp tương ứng.
Bài 4. Cho văn phạm G = ({S,A,B,C}, {a, b, c}, P, S) với tập luật sinh P như sau:
S → ABC
A → bA|B|a
B → Ba|bC|ba
C → B|cba|ca|c
Hãy tính FIRST, FOLLOW cho tất cả các ký hiệu không kết thúc của văn phạm.
Bài 5. Hãy xây dựng bảng phân tích cú pháp SLR cho văn phạm sau:
E→E+T|T
T→T*F|F
F → (E) | id
Bài 6. Cho văn phạm sinh ra các dòng text như sau:
S→L
L→LB|B
B → B sub F | F
F → { L } | text
a) Xây dựng một định nghĩa trực tiếp cú pháp cho văn phạm.
b) Chuyển định nghĩa trực tiếp cú pháp trên thành lược đồ dịch.
c) Loại bỏ đệ quy trái trong lược đồ dịch vừa xây dựng.
Bài 7. Cho văn phạm:
E → TX;
X → +E | ;
T → (E) | aY;
Y → *T | 
Phân tích xâu vào (a*a+a) bằng phương pháp LL(1).
Bài 8. Cho văn phạm
S → (L) | a;
L → L,S | S.
a) Xác định ngôn ngữ sinh bởi văn phạm trên;
b) Khử đệ quy trái;
c) Xây dựng bộ phân tích cú pháp LR cho văn phạm;
d) Dùng bộ phân tích cú pháp đã được xây dựng để vẽ cây phân tích cú pháp cho các
chuỗi nhập sau:
i) (a,a)
ii) (a,(a,a)) (a,(a,a),(a,a)))
e) Xây dựng dẫn xuất trái nhất, phải nhất cho từng chuỗi ở phần d.
Bài 9. Cho văn phạm
S → AS | BA;
A → aB | ;
B → bA | .
a) Xây dựng bảng phân tích LL(1).
b) Hỏi văn phạm trên có phải văn phạm LL(1) không?
Bài 10. Sinh mã trung gian ( dạng mã máy 3 - địa chỉ) cho các biểu thức C sau:
a) x = a [i] + 11
b) a [i] = b [ c[j] ]

You might also like