Một định nghĩa chính thức về cấu trúc cú pháp (cú pháp) của một ngôn ngữ.
Một ngữ pháp thường được trình bày như là một tập hợp các quy tắc sản xuất mà xác định thứ tự của các thành phần và tiểu thành phần của chúng trong một câu (một chuỗi tốt được hình thành trong các ngôn ngữ) . Mỗi quy tắc có một biểu tượng phía bên tay trái đặt tên một loại cú pháp (ví dụ như "danh từ-cụm từ" cho một ngữ pháp ngôn ngữ tự nhiên) và một bên tay phải đó là một chuỗi các số không hoặc nhiều ký tự. Mỗi biểu tượng có thể là một biểu tượng thiết bị đầu cuối hoặc một biểu tượng không đầu cuối. Một biểu tượng thiết bị đầu cuối tương ứng với một "lexeme" - một phần của câu không có cấu trúc cú pháp nội bộ (ví dụ như một định danh hoặc một nhà điều hành trong một ngôn ngữ máy tính). Một biểu tượng không đầu cuối là mặt trái của một số nguyên tắc.
đang được dịch, vui lòng đợi..