Mục tiêu của luận án là nghiên cứu những lớp ngôn ngữ gần mã thông qua nghiên cứu về độ không nhập nhằng của ngôn ngữ xem như một yếu tố phản ánh sự “gần nhau” của một ngôn ngữ với một mã, và thiết lập phân bậc ngôn ngữ dựa trên độ không nhập nhằng của chúng. Mời các bạn tham khảo! | BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI Nguyễn Đình Hân BÀI TOÁN KIỂM ĐỊNH MÃ VÀ PHÂN BẬC NGÔN NGỮ THEO ĐỘ KHÔNG NHẬP NHẰNG LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN Hà Nội - 2012 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI Nguyễn Đình Hân BÀI TOÁN KIỂM ĐỊNH MÃ VÀ PHÂN BẬC NGÔN NGỮ THEO ĐỘ KHÔNG NHẬP NHẰNG Chuyên ngành Khoa học máy tính Mã số LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN Người hướng dẫn khoa học 1. . Đỗ Long Vân 2. . Phan Trung Huy Hà Nội - 2012 LỜI CAM ĐOAN Tôi xin cam đoan các kết quả tôi trình bày trong luận án là hoàn toàn mới chưa từng được công bố trong bất kỳ một công trình khoa học của ai khác. Các kết quả được viết chung với các tác giả khác đều được sự đồng ý của đồng tác giả trước khi đưa vào luận án. Hà Nội ngày 16 tháng 8 năm 2012 Nguyễn Đình Hân LỜI CẢM ƠN Luận án được hoàn thành tại Viện Toán ứng dụng và Tin học Trường Đại học Bách Khoa Hà Nội dưới sự hướng dẫn của . Đỗ Long Vân và . Phan Trung Huy. Tác giả xin gửi lời cảm ơn sâu sắc tới hai thầy trong suốt thời gian qua đã hướng dẫn chỉ bảo tận tình để tác giả hoàn thiện được luận án này. Tác giả chân thành cảm ơn các thành viên của Seminar Toán rời rạc và Tổ hợp Viện Toán học về những nhận xét và ý kiến trao đổi rất hữu ích góp phần nâng cao chất lượng trình bày của luận án. Tác giả trân trọng gửi lời cảm ơn tới Ban lãnh đạo Viện Toán ứng dụng và Tin học và Viện Đào tạo Sau Đại học các thầy cô giáo cùng toàn thể các bạn đồng nghiệp tại Trường Đại học Bách Khoa Hà Nội về sự giúp đỡ chân tình vô tư mà tác giả nhận được trong quá trình thực hiện luận án. Tác giả xin bày tỏ lòng biết ơn đến Ban Giám hiệu Trường Đại học Sư phạm Kỹ thuật Hưng Yên gia đình các thầy cô giáo và các bạn đồng nghiệp Khoa Công nghệ Thông tin Phòng Quản lý Khoa học và Đối ngoại trong thời gian vừa qua đã giúp đỡ tạo điều kiện thuận lợi và không ngừng ủng hộ tác giả. MỤC LỤC DANH MỤC BẢNG HÌNH VẼ 1 MỞ ĐẦU 2 1 CƠ SỞ LÝ THUYẾT MÃ 8 Nửa nhóm và vị nhóm . . . . .
