TAILIEUCHUNG - Bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - Chương 6

Tham khảo bài thuyết trình 'bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - chương 6', kỹ thuật - công nghệ, điện - điện tử phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Chương 6 Đơn giản hóa VPPNC và các dạng chuẩn Các phương pháp để biến đổi văn phạm Hai dạng chuẩn quan trọng Giải thuật thành viên cho văn phạm phi ngữ cảnh Trang 189 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Các phương pháp để biến đổi văn phạm Chuỗi trống đóng một vai trò khá đặc biệt trong nhiều định lý và chứng minh và thường cần có một sự chú ý đặc biệt cho nó. Neu L 3 X thì biểu diễn L L1 O X với L1 L - X. Nếu - Gi Vi T S1 Pi là văn phạm biểu diễn cho L1 thì G V1 O S T S P1 O S S1 X là văn phạm biểu diễn cho L. Trong chương này chúng ta chỉ xem xét các NNPNC không chứa X. Tuy nhiên những kết luận cho ngôn ngữ không chứa X vẫn có thể áp dụng cho ngôn ngữ có chứa X. Trang 190 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Một vài qui tắc thay thế hiệu quả Định lý - Cho G V T S P là một VPPNC. Giả sử P có chứa luật sinh A x1Bx2 trong đó A B là các biến khác nhau và B 711721 yn là tập tất cả các luật sinh trong P mà có B ở vế trái. Cho G1 V T S P1 là VP được xây dựng bằng cách xóa đi A x1Bx2 từ P và thêm vào nó A x y x Thì L G L G1 L G L G1 Trang 191 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.