Bài giảng Trình biên dịch - Chương 2: Trình biên dịch đơn giản

Định nghiã trực tiếp cú pháp (Syntax-directed definition)

Văn phạm phi ngữ cảnh và tập luật ngữ nghiã sẽ thiết lập định nghĩa

trực tiếp cú pháp. Biên dịch là phép ánh xạ từ nhập → xuất. Dạng

xuất của chuỗi nhập x được xác định như sau:

1. Xây dựng cây phân tích cho chuỗi x.

2. Giả sử nút n của cây phân tích có tên cú pháp X, X.a là trị thuộc

tính a của X, được tính nhờ luật ngữ nghĩa. Cây phân tích có chú thích

các trị thuộc tính ở mỗi nút được gọi là cây phân tích chú thích

Tổng hợp thuộc tính (synthesized attributes)