Giải pháp kiểm tra tính đúng của văn phạm phi ngữ cảnh

Tóm tắt

Ngôn ngữ có thể được biểu diễn bởi nhiều cách khác nhau, tuy nhiên đối với các ngôn ngữ có cầu trúc thì cần phải có một văn phạm đúng để biểu diễn. Một văn phạm phi ngữ cảnh đúng thì mới có thể sản sinh được ngôn ngữ. Bài báo này giới thiệu một phương pháp nhằm kiểm tra tính đúng của văn phạm phi ngữ cảnh bằng cách từng bước kiểm tra tính chính xác của các thành phần tạo nên văn phạm này. Phương pháp đề xuất bao gồm các công việc chính sau: kiểm tra cấu tạo của các ký hiệu kết thúc và ký hiệu chưa kết thúc, kiểm tra việc sử dụng các ký hiệu này để tạo ra các sản xuất, kiểm tra các sản xuất có vi phạm các điều kiện để tạo ra được ngôn ngữ hay không?. Giải pháp đề xuất có thể ứng dụng để kiểm tra một văn phạm phi ngữ cảnh trước khi hoạt động để sản sinh ra ngôn ngữ, phục vụ cho việc giảng dạy.