tailieunhanh - Bài giảng Ngôn ngữ hình thức và Ôtômat

Bài giảng Ngôn ngữ hình thức và Ôtômat cung cấp cho các bạn những kiến thức về văn phạm và ngôn ngữ, ngôn ngữ chính quy và ôtomat hữu hạn, ngôn ngữ phi ngữ cảnh và ôtomat đẩy, cơ bản về chương trình dịch. Tài liệu phục vụ cho sinh viên chuyên ngành công nghệ thông tin. Mời các bạn tham khảo. | BỘ GIAO THÔNG VẬN TẢI TRƯỜNG ĐẠI HỌC HANG HẢI BỘ MÔN kHoa Hoc may tinh 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 hoc 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 Bộ môn phụ trách giảng dạy Khoa học Máy tính Mã học phần 17204 Loại học phần 1 Khoa phụ trách CNTT 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 TÊN CHƯƠNG MỤC PHÂN PHỐI SỐ TIẾT 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 hoc Ngôn ngữ hình thức và Otomat TÊN CHƯƠNG MỤC PHÂN PHỐI SỐ TIẾT TS LT TH Xemina BT KT Chương III. Ngôn ngữ phi ngữ cảnh và otomat đẩy xuống. 09 06 02 01 .