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