Chính thức, một ngữ pháp có thể là defined như G = (T, N, S, P) nơi T là một bảng chữ cái (hoặc một tập hợp của các biểu tượng thiết bị đầu cuối), N là một tập hợp của các biểu tượng Trung cấp hoặc nonterminal, là một biểu tượng gốc hoặc bắt đầu, và P là một tập các quy tắc sản xuất, phối như thế nào các yếu tố của bảng chữ cái và các thiết lập của nonterminals có thể được chuyển đổi thành cấu trúc đó là bao gồm chỉ của các yếu tố từ bảng chữ cái. Các thiết lập của tất cả cấu trúc (ngôn ngữ) các ngữ pháp có thể cung cấp cho tăng tới được kí hiệu bởi L(G).
đang được dịch, vui lòng đợi..
