Kiểm tra 2.1

Văn phạm đệ qui trái là văn phạm tồn tại một dẫn xuất có dạng

• A->AX

• A->XA

• A->By (y là một xâu)

• A->+Ay (y là một xâu)

Văn phạm với các luật sinh: E → EAE; E-> (E); E-> - E; E-> id; A→+ Có thể sinh ra chuỗi nhập nào?

• - (id + id)

• +id+id+

• id*id- (id + id)

• +(id + id)

Chương trình nguồn không thể chứa lỗi nào

• Lỗi nhập dữ liệu

• Lỗi từ vựng

• Lỗi cú pháp

• Lỗi ngữ nghĩa

Bộ phân tích từ vựng đưa ra

• Chương trình nguồn

• Các từ vựng và biến sử dụng trong chương trình

• Các từ tố

• Các qui tắc ngữ pháp

Trong biểu đồ chuyển chỉ được phép có trạng thái kết thúc:

• Đúng

• Sai

• Tuỳ trong trường hợp

• Chỉ đúng khi trạng thái kết thúc có dấu *.

Xây dựng bộ phân tích từ vựng trước hết

• Phải xác định trong ngôn ngữ lập trình có các từ tố nào.

• Phải xác định trong ngôn ngữ lập trình có các qui tắc ngữ pháp nào.

• Phải xác định trong ngôn ngữ lập trình có các phép toán nào.

• Phải xác định trong ngôn ngữ lập trình có các từ khoá nào.

Văn phạm với các luật sinh: E → EAE; E-> (E); E-> +E; E-> id; A->Có thể sinh ra chuỗi nhập nào?

• (id + id)

• +id+id+

• id*id- (id + id)

• +(id + id)

Khi chuyển hình trạng nếu thay i:=i-1tức là

• Dịch biến trỏ trên xâu vào sang phải một ký hiệu

• Dịch biến trỏ trên xâu vào sang trái một ký hiệu

• Dịch biến trỏ trên danh sách đẩy xuống thứ nhất D1 sang trái một ký hiệu

• Dịch biến trỏ trên danh sách đẩy xuống thứ hai D2 sang một ký hiệu

Thuật toán phân tích top – down quay lui đưa ra

• Một phân tích phải đối với xâu vào.

• Một phân tích trái đối với xâu vào nếu tồn tại hoặc đưa ra thông báo sai.

• Thông báo “Thành công”

• Một phân tích trái đối với xâu vào.

Trong kiến trúc kỳ trước, kỳ sau. Kỳ sau gồm các giai đoạn:

• Tối ưu mã trung gian

• Sinh mã trung gian, tối ưu mã trung gian, sinh mã đích

• Tối ưu mã trung gian, sinh mã đích

• Sinh mã đích