Home
Giới thiệu
Tài khoản
Đăng nhập
Quên mật khẩu
Đổi mật khẩu
Đăng ký tạo tài khoản
Liệt kê
Công trình khoa học
Bài báo trong nước
Bài báo quốc tế
Sách và giáo trình
Thống kê
Công trình khoa học
Bài báo khoa học
Sách và giáo trình
Giáo sư
Phó giáo sư
Tiến sĩ
Thạc sĩ
Lĩnh vực nghiên cứu
Tìm kiếm
Cá nhân
Nội dung
Góp ý
Hiệu chỉnh lý lịch
Thông tin chung
English
Đề tài NC khoa học
Bài báo, báo cáo khoa học
Hướng dẫn Sau đại học
Sách và giáo trình
Các học phần và môn giảng dạy
Giải thưởng khoa học, Phát minh, sáng chế
Khen thưởng
Thông tin khác
Tài liệu tham khảo
Hiệu chỉnh
Số người truy cập: 106,041,912
Giải pháp kiểm tra tính đúng của văn phạm phi ngữ cảnh
Tác giả hoặc Nhóm tác giả:
ThS. Nguyễn Thị Minh Hỷ*
Nơi đăng:
Tạp chí Khoa học Công nghệ ĐHĐN;
S
ố:
Số 7(104).2016;
Từ->đến trang
: 94;
Năm:
2016
Lĩnh vực:
Xã hội nhân văn;
Loại:
Bài báo khoa học;
Thể loại:
Trong nước
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.
ABSTRACT
Languages can be represented in many different ways, but structured languages usually use correct grammar for representation. Only an exact context - free grammar can generate a language. This paper introduces a method to check the accuracy of context-free grammar; particularly, checking the accuracy of components forming this grammar step by step. The proposed method consists of some major tasks such as checking the structure of terminals as well as non-terminals, verifying the use of these symbols to create the productions and checking up whether a production has met the conditions for constructing a language. The proposed method can be applied to check a context-free grammar before it produces a language for the purpose of teaching.
© Đại học Đà Nẵng
Địa chỉ: 41 Lê Duẩn Thành phố Đà Nẵng
Điện thoại: (84) 0236 3822 041 ; Email: dhdn@ac.udn.vn