Bài giảng Ngôn ngữ hình thức và ôtômat gồm có 4 chương với những nội dung chính như sau: Văn phạm và ngôn ngữ, ngôn ngữ chính quy và otomat đẩy xuống, ngôn ngữ phi ngữ cảnh và otomat đẩy xuống, cơ bản về chương trình dịch. Mời các bạn cùng tham khảo. | BỘ GIAO THÔNG VẬN TẢI TRƢỜNG ĐẠI HỌC HÀNG HẢI BỘ MÔN KHOA HỌC MÁ Y TÍ NH KHOA CÔNG NGHỆ THÔNG TIN BÀI GIẢNG NGÔN NGỮ HÌNH THỨC VÀ ÔTÔMAT TÊN HỌC PHẦN Ngôn ngữ hình thức và Ôtômat MÃ HỌC PHẦN 17204 TRÌNH ĐỘ ĐÀO TẠO ĐẠI HỌC CHÍNH QUY DÙNG CHO SV NGÀNH CÔNG NGHỆ THÔNG TIN HẢI PHÒNG - 2008 Bài giảng môn học Ngôn ngữ hình thức và Otomat ĐỀ CƢƠNG CHI TIẾT Tên học phần Ngôn ngữ hình thức và Ôtômat Loại học phần 1 Bộ môn phụ trách giảng dạy Khoa học Máy tính Khoa phụ trách CNTT Mã học phần 17204 Tổng số TC 2 TS tiết Lý thuyết Thực hành Xemina Tự học Bài tập lớn Đồ án môn học 45 45 0 0 0 0 Điều kiện tiên quyết Sinh viên phải học xong môn học toán rời rạc. Mục tiêu của học phần - Cung cấp các kiến thức cơ bản về ngôn ngữ văn phạm và otomat. - Cơ bản về chương trình dịch. Nội dung chủ yếu Gồm các phần - Văn phạm và ngôn ngữ - Ngôn ngữ chính quy và otomat đẩy xuống - Ngôn ngữ phi ngữ cảnh và otomat đẩy xuống - Cơ bản về chương trình dịch Nội dung chi tiết của học phần PHÂN PHỐI SỐ TIẾT TÊN CHƢƠNG MỤC TS LT TH Xemina BT KT MỞ ĐẦU Chƣơng I. Văn phạm và ngôn ngữ. 05 04 01 . Bảng chữ cái từ và ngôn ngữ . Tích ghép phép chia phép soi gương . Các phép toán trên ngôn ngữ . Văn phạm . Các ví dụ về văn phạm Chƣơng II. Ngôn ngữ chính quy và otomat hữu hạn 16 12 03 01 . Nguồn và ngôn ngữ được sinh bởi nguồn . Các phép toán trên nguồn . Otomat hữu hạn không lối ra và ngôn ngữ được đoán nhận bởi otomat hữu hạn không lối ra . Sự tương đương của nguồn và Otomat hữu hạn không lối ra . Sự tương đương của nguồn và văn phạm chính quy . Sự tương đương của nguồn và biểu thức chính quy . Bài tập tổng hợp . Tính đóng của lớp ngôn ngữ chính quy . Điều kiện cần của ngôn ngữ chính quy . Điều kiện cần và đủ của lớp ngôn ngữ chính quy . Otomat hữu hạn có lối ra . Ngôn ngữ chính quy i Bài giảng môn học Ngôn ngữ hình thức và Otomat PHÂN PHỐI SỐ TIẾT TÊN CHƢƠNG MỤC TS LT TH Xemina BT KT Chƣơng III. Ngôn ngữ phi ngữ cảnh và otomat đẩy 09 06 02 01 .
