Ngôn ngữ lập trình (programming language): Là một hệ thống các kí hiệu tuân theo các quy ước về ngữ pháp và ngữ nghĩa, dùng để xây dựng các chương trình cho máy tính. Ngữ pháp (syntax): Quy ước về quan hệ giữa các ký hiệu. Ví dụ trong ngôn ngữ Pascal: các ký hiệu Begin, end phảI đi thành từng cặp, sau if sẽ là một biểu thức điều kiện, sau đó là kí hiệu then. Ngữ nghĩa (sematics): Quy ước về ý nghĩa của kí hiệu. Ví dụ trong ngôn ngữ Pascal: dấu + biểu thị cho phép.