GVV SP = NT, nơi VN và VT là bảng chữ cái của các biểu tượng tương ứng thiết bị đầu cuối không thuộc đầu cuối; NSV∈ là biểu tượng bắt đầu hoặc tiên đề và P là một tập hữu hạn các cặp từ từ * () VVNT ∪ {(,) | 1} P uv im = ii ≤ ≤, do đó bất kỳ iu từ có chứa ít nhất một không thuộc đầu cuối ký hiệu. Các cặp (,) iiuv được gọi là quy định chiết khấu hoặc các quy tắc sản xuất hoặc sản xuất đơn giản và sẽ được ký hiệu bởi iiuv →. Nếu phía bên tay trái của một quy tắc sản xuất bao gồm chỉ có một biểu tượng không thuộc đầu cuối duy nhất, sau đó chúng tôi có một ngữ pháp ngữ cảnh miễn phí [2] [1]. Các thiết lập của tất cả các câu xây dựng đối với các quy tắc xem xét, được gọi là ngôn ngữ được tạo ra bởi văn phạm, và chính thức định nghĩa là: * * () {| } LG p VS p = ∈ ⇒ T. Từ quan điểm của xử lý ngôn ngữ tự nhiên, bối cảnh tự do văn phạm là thú vị vì hai lý do: - mô hình là đủ mạnh mẽ để thể hiện cấu trúc của ngôn ngữ tự nhiên; - Mô hình đơn giản là đủ để xây dựng phân tích cú pháp hiệu quả để phân tích câu. Có một mô hình của một ngôn ngữ nhất định, bước tiếp theo là tạo ra một thuật toán mà kiểm tra một bản án được đưa ra để xem nếu nó cũng được hình thành. loại như vậy của thuật toán được gọi là phân tích cú pháp. Về mặt kỹ thuật, một phân tích cú pháp hay, chính thức hơn, phân tích cú pháp, là quá trình phân tích một chuỗi các thẻ để xác định cấu trúc ngữ pháp của họ đối với một ngữ pháp chính thức được đưa ra với. Mỗi ngôn ngữ lập trình có một bộ phân tích và ít nhất một thông dịch viên để đưa mã vào một chương trình. Trong trường hợp như cho các ngôn ngữ lập trình nhiệm vụ này là dễ dàng đáng kể, các ngôn ngữ của con người là dường như vô tận trong sự phức tạp. Một câu trong tiếng tự nhiên có thể có nhiều cách hiểu và lựa chọn giữa chúng là liên quan đến niềm tin và kiến thức của người giao tiếp. Các quy tắc sản xuất sau đây là một đơn giản, ngoại trừ từ ngữ pháp của ngôn ngữ Rumani sử dụng trong ứng dụng của chúng tôi
đang được dịch, vui lòng đợi..