Phần mềm-Ứng dụng

Một văn phạm (Grammar) hình thức có thể định nghĩa chính xác một ngôn ngữ hình thức với một bộ quy tắc mà có thể được sử dụng để tạo ra tất cả các chuỗi hoặc để phân tích một chuỗi đầu vào là một thành viên của ngôn ngữhay không. Một văn phạm phi ngữ cảnhcó thể được định nghĩa hình thức bởi một bộ bốn(N, S, P, S).Trong đó:

- N là một tập hợp hữu hạn các ký hiệu khôngkết thúc hay các biến;

-S là một tập hợp hữu hạn các ký hiệu kết thúc, S∩N=F;

- P là một tập hợp hữu hạn các quy tắc sản xuất có dạng v ->w,

 - S là ký hiệu đầu hay biến đầu

Backus-Naur Form (BNF) là một dạng ký hiệu dùng để mô tả văn phạm phi ngữ cảnh. Mỗi quy tắc bao gồm nhiều hơn một ký hiệu không kết thúc trừu tượng ở vế trái của dấu(:=) và nhiều ký hiệu cụ thể vế phải. Văn phạm phi ngữ cảnh được dùng khá phổ biến đối với các giao diện dòng lệnh. Chúng chỉ định các lệnh văn bản hoặc biểu thức mà một chương trình sẽ hiểu.