Trong khoa học máy tính, cú pháp của một ngôn ngữ máy tính là tập hợp các quy tắc xác định sự kết hợp của các ký hiệu được coi là một tài liệu hoặc đoạn văn bản có cấu trúc chính xác trong ngôn ngữ đó.