Luận Án Tiến Sĩ Một Số Vấn Đề Lý Thuyết Và Ứng Dụng Của Các Mô Hình Otomat Nâng Cao

Một Số Vấn Đề Lý Thuyết Và Ứng Dụng Của Các Mô Hình Otomat Nâng Cao​

Đưa ra các khái niệm cơ sở về đại số, ngôn ngữ và mã, máy biến đổi, otomat, đồ thị hữu hạn và chuỗi hình thức. Các kiến thức cơ sở này được sử dụng trong các chương tiếp theo của luận án. Nghiên cứu các kết quả về phương pháp xác định xâu con chung dài nhất của hai ngôn ngữ và phương pháp xác định khoảng cách soạn thảo DL hạn chế của hai ngôn ngữ. Các phương pháp này dựa trên những đề xuất về hình thức hóa khái niệm; kỹ thuật mở rộng kiểu 1 của otomat; ứng dụng kỹ thuật hợp thành của hai máy biến đổi, thuật toán tìm đường đi dài nhất (ngắn nhất) nguồn đơn. Trình bày các kết quả về phương pháp kiểm định –mã cũng như Z–mã. Các phương pháp này dựa trên các đề xuất về đường đi kiểu 1, kiểu 2 trên đồ thị có gán nhãn và tô màu đỉnh, kỹ thuật xác định sự tồn tại của chúng; ứng dụng lưỡng cực hóa otomat; kỹ thuật mở rộng kiểu 2, kiểu 3 của otomat; kỹ thuật tích và tích hợp otomat. Hệ thống hóa các kết quả đóng góp mới về phương pháp xác định độ không nhập nhằng của ngôn ngữ và phương pháp xác định độ trễ giải mã. Các phương pháp này dựa trên các đề xuất về xác định giá của đường đi kiểu 2, sự tồn tại của đường đi kiểu 3 trên đồ thị có gán nhãn và tô màu đỉnh; kỹ thuật mở rộng kiểu 4, kiểu 5 của otomat; kỹ thuật tích otomat.

• Luận án tiến sĩ toán học
• Chuyên ngành Bảo đảm toán học cho máy tính và hệ thống tính toán
• Người hướng dẫn: PGS. TS. Phan Trung Huy, GS. TS. Đặng Huy Ruận
• Tác giả: Đặng Quyết Thắng
• Số trang: 107
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại Học Khoa Học Tự Nhiên - Đại Học Quốc Gia Hà Nội 2013

Link Download
https://repository.vnu.edu.vn/handle/VNU_123/73002
https://drive.google.com/uc?id=1qikkd8rl469L1_OLtwtS0C_kMh1R2N_v
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1