Làm cách nào để giảm cây phân tích cú pháp của tôi thành cây cú pháp trừu tượng?

Question

Các chiến lược chung để giảm cây phân tích cú pháp (nghĩa là cây cú pháp cụ thể) thành cây cú pháp trừu tượng là gì?

Ví dụ, tôi có quy tắc ngữ pháp sau đây:

statement_list : statement 
       | statement_list statement 

đó, nếu để như một cây phân tích cú pháp, sẽ tạo ra quạt đầu ra trông giống như

program 
     statement_list 
       statement_list 
         statement 
           definition 
             p_type 
             assignment 
       statement 
         definition 
     statement 
       assign 
         assignment 

Nếu tôi nối con cái mỗi nút (vì danh sách câu lệnh không có ý nghĩa vốn có sau khi phân tích cú pháp), tôi có thể đạt được sau đây

program 
     definition 
       p_type 
       assignment 
     definition 
     assign 
       assignment 

Điều này làm việc tốt - tuy nhiên, tôi không biết về bất kỳ "quy tắc" để làm điều này. Có quy tắc ngữ pháp cụ thể nào tôi nên tìm cách đơn giản hóa không? Nó có phải là vấn đề của cảm giác, hay là có một quá trình cơ học hơn?

Answer 1

Nó không phải là vấn đề "cảm thấy". Một cây cú pháp trừu tượng phụ thuộc vào ý nghĩa (ngữ nghĩa) của những gì được phân tích cú pháp và tôi nghĩ rằng đây sẽ là các quy tắc:

1. Xóa các nút cho thẻ không thêm ý nghĩa. Đó là các từ khóa trung gian (như "sau đó"), dấu tách (như dấu phẩy) và dấu ngoặc vuông (như dấu ngoặc đơn).
2. Quảng bá các thẻ có ý nghĩa (như "if") làm cha mẹ của các mã thông báo khác trong cùng một quy tắc.

Không có công thức duy nhất. Nó phụ thuộc vào những cụm từ trong ngôn ngữ đích có nghĩa là gì.