TAILIEUCHUNG - Tài liệu trình biên dịch C (ĐH Cần Thơ) part 2

DỊCH TRỰC TIẾP CÚ PHÁP (Syntax - Directed Translation) Ðể dịch một kết cấu ngôn ngữ lập trình, trong quá trình dịch, bộ biên dịch cần lưu lại nhiều đại lượng khác cho việc sinh mã ngoài mã lệnh cần tạo ra cho kết cấu. Chẳng hạn nó cần biết kiểu (type) của kết cấu, địa chỉ của lệnh đầu tiên trong mã đích, số lệnh phát sinh, Vì vậy ta nói một cách ảo về thuộc tính (attribute) đi kèm theo kết cấu. Một thuộc tính có thể biểu diễn cho một đại lượng bất kỳ như một. | II. DỊCH TRỰC TIẾP CÚ PHÁP Syntax - Directed Translation Để dịch một kết cấu ngôn ngữ lập trình trong quá trình dịch bộ biên dịch cần lưu lại nhiều đại lượng khác cho việc sinh mã ngoài mã lệnh cần tạo ra cho kết cấu. Chẳng hạn nó cần biết kiểu type của kết cấu địa chỉ của lệnh đầu tiên trong mã đích số lệnh phát sinh Vì vậy ta nói một cách ảo về thuộc tính attribute đi kèm theo kết cấu. Một thuộc tính có thể biểu diễn cho một đại lượng bất kỳ như một kiểu một chuỗi một địa chỉ vùng nhớ Chúng ta sử dụng định nghĩa trực tiếp cú pháp syntax - directed definition nhằm đặc tả việc phiên dịch các kết cấu ngôn ngữ lập trình theo các thuộc tính đi kèm 15 với thành phần cú pháp của nó. Chúng ta cũng sẽ sử dụng một thuật ngữ có tính thủ tục hơn là lược đồ dịch translation scheme để đặc tả quá trình dịch. Trong chương này ta sử dụng lược đồ dịch để dịch một biểu thức trung tố thành dạng hậu tố. 1. Ký pháp hậu tố Postfix Notation Ký pháp hậu tố của biểu thức E có thể được định nghĩa quy nạp như sau 1. Nếu E là một biến hay hằng thì ký pháp hậu tố của E chính là E. 2. Nếu E là một biểu thức có dạng E1 op E2 trong đó op là một toán tử hai ngôi thì ký pháp hậu tố của E là E1 E2 op. Trong đó E1 E2 tương ứng là ký pháp hậu tố của E1 e2. 3. Nếu E là một biểu thức dạng E1 thì ký pháp hậu tố của E là ký pháp hậu tố của E1. Trong dạng ký pháp hậu tố dấu ngoặc là không cần thiết vì vị trí và số lượng các đối số chỉ cho phép xác định một sự giải mã duy nhất cho một biểu thức hậu tố. Ví dụ Dạng hậu tố của biểu thức 9 - 5 2 là 9 5 - 2 Dạng hậu tố của biểu thức 9 - 5 2 là 9 5 2 - 2. Định nghĩa trực tiếp cú pháp Syntax - Directed Definition Định nghĩa trực tiếp cú pháp sử dụng văn phạm phi ngữ cảnh để đặc tả cấu trúc cú pháp của dòng input nhập. Nó liên kết mỗi ký hiệu văn phạm với một tập các thuộc tính và mỗi luật sinh kết hợp với một tập các quy tắc ngữ nghĩa semantic rule để tính giá trị của thuộc tính đi kèm với những ký hiệu có trong luật sinh văn phạm. Văn phạm và tập các

• Kỹ thuật lập trình
• trình biên dịch c
• thủ thuật lập trình
• lập trình c
• tài liệu trình biên dịch
• biên dịch c