. Phân tích được tổ chức xung quanh các "cú pháp" của ngôn ngữ được biên dịch
Cú pháp của một ngôn ngữ lập trình mô tả các hình thức thích hợp của các chương trình của mình,
trong khi các ngữ nghĩa của ngôn ngữ định nghĩa những gì chương trình của mình có ý nghĩa; đó
là, những gì từng chương trình không khi nó thực hiện. Để xác định cú pháp, chúng tôi trình bày
một ký hiệu được sử dụng rộng rãi, được gọi là văn phạm ngữ cảnh miễn phí hoặc BNF (Backus cho Naur-
Form) tại mục 2.2. Với các ký hiệu hiện có, ngữ nghĩa của
một ngôn ngữ là khó khăn hơn nhiều để mô tả hơn các cú pháp. Để xác định
ngữ nghĩa, chúng ta sẽ do đó sử dụng mô tả chính thức và các ví dụ gợi.
đang được dịch, vui lòng đợi..
