TAILIEUCHUNG - ctd_chuong_4_dich_truc_tiep_cu_phap_511

CHƯƠNG IV. Dịch trực tiếp cú tiêu:.• Vai trò của dịch trực tiếp cú pháp.• Hiểu được các khái niệm: Định nghĩa trực pháp, thuộc tính tổng hợp và thuộc tính , cây cấu trúc. Định nghĩa trực tiếp cú pháp.• Ðịnh nghĩa trực tiếp cú pháp (syntax- directed. definition) là sự tổng quát hóa một văn phạm phi. ngữ cảnh, trong đó mỗi ký hiệu văn phạm kết hợp. với một tập các thuộc tính (attribute).• Các thuộc tính có thể là một xâu, một số, một kiểu. dữ liệu, một địa chỉ trong bộ nhớ• Giá trị các thuộc tính được tính bởi các luật ngữ. nghĩa (semantic rule) đi kèm. Mỗi luật ngữ nghĩa. được viết như lời gọi các thủ tục hoặc một đoạn. chương trình.• Cây phân tích cú pháp có trình bày giá trị các thuộc. tính tại mỗi nút gọi là cây chú thích• Trong một định nghĩa trực tiếp cú pháp, mỗi luật. sinh A kết hợp một tập luật ngữ nghĩa có. dạng b:= f (c1, c2,., ck) trong đó f là một hàm và:1) b là một thuộc tính tổng hợp (synthesized. attribute) của A 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. ) b là một thuộc tính kế thừa (inherited attribute). của một trong các ký hiệu văn phạm trong 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 sinhVí dụ : Định nghĩa trực tiếp cú pháp (ĐNTTCP). cho một máy tính đơn giản PRODUCTION SYMANTIC RULES. L En print(). E E1 + T := + . E T := . T T1 * F := * . T F := . F (E) := . F digit := .• Token digit có thuộc tính tổng hợp lexval mà giá trị. được cung cấp bởi bộ phân tích từ vựng• Thuộc tính tổng hợp là thuộc tính mà giá trị của. nó tại mỗi nút trên cây phân tích cú pháp được. tính từ giá trị thuộc tính tại các nút con của nó.• Ðịnh nghĩa trực tiếp cú pháp chỉ sử dụng các. thuộc tính tổng hợp gọi là định nghĩa S- thuộc. tính (S- attributed definition).• Trong cây phân tích cú pháp của định nghĩa S-. thuộc tính, các luật ngữ nghĩa tính giá trị các. thuộc tính cho các nút từ dưới lên, từ lá đến gốcVí dụ : ĐNTTCP trong ví dụ là định nghĩa. S- thuộc tính. Cây chú thích cho biểu thức. 3*5+4n (n kí hiệu cho newline) như sau:. L. | . n. .

• Lịch sử - Văn hoá