Ví dụ đơn giản nhất để giải thích sự khác biệt giữa Cây Parse và Cây Cú pháp Trừu tượng là gì?

Theo hiểu biết của tôi, một trình phân tích cú pháp tạo ra một cây phân tích cú pháp, và sau đó loại bỏ nó sau đó. Tuy nhiên, nó cũng có thể bật ra một cây cú pháp trừu tượng mà trình biên dịch được cho là sử dụng.

Tôi có ấn tượng rằng cả cây phân tích cú pháp và cây cú pháp trừu tượng đều được tạo trong giai đoạn phân tích cú pháp. Sau đó, ai đó có thể giải thích tại sao những điều này là khác nhau?

Cây phân tích cú pháp còn được gọi là cây cú pháp cụ thể.

Về cơ bản, cây trừu tượng có ít thông tin hơn cây bê tông. Cây bê tông chứa từng yếu tố trong ngôn ngữ, trong khi cây trừu tượng đã vứt bỏ những mảnh không thú vị.

Ví dụ: biểu thức: (2 + 5) * 8

Bê tông trông như thế này

  ( 2  + 5 )  * 8
  |  \ | / |  | |
  |   \|/  |  | |
   \___|__/   | |
       \______|/

Trong khi đó cây trừu tượng có:

2  5 
 \/   
  +  8
   \/
   *

Trong các trường hợp cụ thể, dấu ngoặc đơn và tất cả các phần của ngôn ngữ đã được tích hợp vào cây. Trong trường hợp trừu tượng, dấu ngoặc đơn không còn nữa, vì thông tin của chúng đã được tích hợp vào cấu trúc cây.

Điều đầu tiên bạn cần hiểu là không ai bắt bạn phải viết trình phân tích cú pháp hoặc trình biên dịch theo một cách nhất định. Cụ thể, không nhất thiết là kết quả của trình phân tích cú pháp phải là một cây. Nó có thể là bất kỳ cấu trúc dữ liệu phù hợp để đại diện cho đầu vào.

Ví dụ: ngôn ngữ sau:

prog:
      definition 
    | definition ';' prog
    ;

definition: .....

có thể được trình bày dưới dạng một danh sách các định nghĩa. (Nitopperers sẽ chỉ ra rằng một danh sách là một cây thoái hóa, nhưng dù sao đi nữa.)

Thứ hai, không cần phải giữ cây phân tích cú pháp (hoặc bất kỳ cấu trúc dữ liệu nào mà trình phân tích cú pháp trả về). Ngược lại, trình biên dịch thường được xây dựng như một chuỗi các đường chuyền, biến đổi kết quả của đường chuyền trước đó. Do đó bố cục tổng thể của trình biên dịch có thể là như vậy:

parser :: String             -> Maybe [Definitions]      -- parser
pass1  :: [Definitions]      -> Maybe DesugaredProg      -- desugarer
pass2  :: DesugaredProg      -> Maybe TypedProg          -- type checker
pass3  :: TypedProg          -> Maybe AbstractTargetLang -- code generation
pass4  :: AbstractTargetLang -> Maybe String             -- pretty printer

compiler :: String           -> Maybe String    -- transform source code to target code
compiler source = do
   defs  <- parser source
   desug <- pass1 defs
   typed <- pass2 desug
   targt <- pass3 typed
   pass4 targt

Bottom Line: Nếu bạn nghe người ta nói về cây phân tích cú pháp , cây syntac trừu tượng , cây cú pháp bê tông vv, luôn luôn thay thế bởi cấu trúc dữ liệu phù hợp với mục đích trao , và bạn đang sử dụng tốt.