Bài giảng Trình biên dịch - Chương 5: Biên dịch trực tiếp cú pháp

Dạng của định nghĩa trực tiếp cú pháp

Mỗi luật sinh có dạng A → α đều có một tập luật ngữ nghĩa có dạng

b:= f (c1, c2, , ck) với f là hàm số và:

1. b là thuộc tính tổng hợp của A và c1, c2, , ck là các thuộc tính

của ký hiệu văn phạm của luật sinh, hoặc

2. b là thuộc tính kế thừa của một trong các ký hiệu văn phạm bên vế

phải của luật sinh và c1, c2, , ck là các thuộc tính của các ký hiệu văn

phạm của luật sinh.