TAILIEUCHUNG - Một số bài toán không giải được đối với ngôn ngữ tuyến tính

Đề tài được tiến hành nhằm nghiên cứu về tính khả giải của một số bài toán trong lý thuyết ngôn ngữ hình thức. Cụ thể là, tác giả sẽ chứng minh các bài toán sau đây là không giải được đối với ngôn ngữ tuyến tính: Bài toán tương đương của hai ngôn ngữ tuyến tính bất kỳ, bài toán đồng nhất của một ngôn ngữ tuyến tính với một ngôn ngữ chính quy, bài toán liệu có hay không L = Σ*, đối với ngôn ngữ tuyến tính L cho trước trên bảng chữ cái Σ. | Taïp chí Kinh teá - Kyõ thuaät Kỹ thuật - Công nghệ MỘT SỐ BÀI TOÁN KHÔNG GIẢI ĐƯỢC ĐỐI VỚI NGÔN NGỮ TUYẾN TÍNH Nguyễn Xuân Dũng* TÓM TẮT Việc nghiên cứu về tính khả giải của các bài toán (hoặc các lớp bài toán) đóng một vai trò rất quan trọng không chỉ đối với sự phát triển của Toán học nói riêng mà còn ảnh hưởng lớn đến sự phát triển của khoa học công nghệ nói chung. Trong bài này chúng tôi tiến hành nghiên cứu về tính khả giải của một số bài toán trong lý thuyết ngôn ngữ hình thức. Cụ thể là, chúng tôi sẽ chứng minh các bài toán sau đây là không giải được đối với ngôn ngữ tuyến tính: Bài toán tương đương của hai ngôn ngữ tuyến tính bất kỳ. Bài toán đồng nhất của một ngôn ngữ tuyến tính với một ngôn ngữ chính quy. Bài toán liệu có hay không L = Σ*, đối với ngôn ngữ tuyến tính L cho trước trên bảng chữ cái Σ. LA = { ui1 ui2 .uim aim aim−1 .ai1

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.