TAILIEUCHUNG - Giáo trình Lý thuyết Automat và ngôn ngữ hình thức: Phần 1

Giáo trình Lý thuyết Automat và ngôn ngữ hình thức được biên soạn với mục đích giới thiệu cho sinh viên trong chương trình đào tạo khoa học máy tính ở bậc đại học. Giáo trình được chia thành chín chương và được chia thành 2 phần. Giáo trình phần 1 gồm có những nội dung chính sau: Giới thiệu về các đối tượng sẽ nghiên cứu, lớp automat đầu tiên, automat hữu hạn trạng thái và lớp ngôn ngữ tương ứng, lớp ngôn ngữ chính qui,. . | LÝ THUYẾT AUTOMAT NGON NG0 HÌNH THỨC THU VIEN DAI HOC NHA TRANG J 1000017377 NHÀ XUẤT BẢN ĐẠI HỌC QUỐC tã ctển uíti táu ùận cảo eĂútt tởi Xin vui lồng Không xé sách Không gach. viết vẽ lAn ĐẠI HỌC QUỐC GIA TP Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOA -----7-7T HỒ VĂN QUÂN THU VieN ì í í n J erf ị 4 I GIÁO TRÌNH LÝ THUYẾT AUTOMAT VÀ NGÔN NGỮ HÌNH THỨC NHÀ XUẤT BẢN ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH - 2002 MỤC LỤC LỜI NÓI ĐẦU 5 Chương 1 GIỚI THIỆU 7 . Yêu cầu về kiến thức nền 7 . Ba khái niệm cơ bản 8 . Một vài ứng dụng 1 18 Chương 2 AƯTOMAT HỮU HẠN 22 . Accepter hữu hạn đơn định 22 . Accepter hữu hạn không đơn định 27 . Sự tương đương giữa accepter hữu hạn đơn định và accepter hữu hạn không đơn định 32 . Rút gọn số trạng thái của một automat hữu hạn 36 Chương 3 NGÔN NGỮ CHÍNH QUI VÀ VÀN PHẠM CHÍNH QUI 43 . Biểu thức chính qui regular expression 43 . Mối quan hệ giữa BTCQ và ngôn ngữ chính qui 45 . Văn phạm chính qui regular grammar 52 Chương 4 CÁC TĨNH CHẤT CỬA NGÔN NGỮ CHÍNH QƯI 58 . Tính đóng của ngôn ngữ chính qui 59 . Các câu hỏi cơ bản về ngôn ngữ chính qui 64 . Nhận biết các ngôn ngữ không chính qui 66 Chương 5 NGÔN NGỮ PHI NGỮ CẢNH 70 . Văn phạm phi ngữ cảnh context free grammars 71 . Phân tích cú pháp và tính nhập nhằng 75 . Văn phạm phi ngữ cảnh và ngôn ngữ lập trình 87 Chương 6 ĐƠN GIẢN HÓA VĂN PHẠM PHI NGỮ CẢNH VÀ CÁC DẠNG CHUẨN 90 . Các phương pháp để biến đổi văn phạm 90 . Hai dạng chuẩn quan trọng .

• Kỹ thuật lập trình
• Lý thuyết Automat
• Ngôn ngữ hình thức
• Giáo trình Lý thuyết Automat
• Automat hữu hạn trạng thái
• Ngôn ngữ chính quy
• Ngôn ngữ phi ngữ cảnh
• Bài giảng Lý thuyết automat
• Biểu diễn ngôn ngữ
• Automat hữu hạn
• Văn phạm chính qui
• Văn phạm phi ngữ cảnh
• Automat đẩy xuống
• Auomat đẩy xuống
• Ứng dụng thiết kế số
• Hoạt động của PDA
• PDA đơn định
• Bài giảng Ngôn ngữ hình thức
• Bài giảng Lý thuyết tính toán
• Lý thuyết tính toán
• Accepter hữu hạn đơn định
• Accepter hữu hạn không đơn định
• Rút gọn số trạng thái
• Môn chương trình dịch
• Ngôn ngữ hình thức và automat
• Lý thuyết thiết kế
• Ngôn ngữ lập trình
• Chương trình dịch
• Bài giảng Ôtômát và ngôn ngữ hình thức
• Ôtômát đẩy xuống
• Suy dẫn phi ngữ cảnh
• Cây suy dẫn
• Giáo trình Lý thuyết ngôn ngữ hình thức
• Lý thuyết ngôn ngữ hình thức và ô tô mát
• Lý thuyết ngôn ngữ hình thức
• Ngôn ngữ hình thức và ô tô mát
• Khái niệm otô mát
• Lí thuyết Ngôn ngữ hình thức
• Bài giảng Lí thuyết Ngôn ngữ hình thức
• Lí thuyết Ngôn ngữ hình thức và ôtômat
• Phép toán trên ngôn ngữ
• Máy Turing
• Dạng chuẩn Chomsky
• Otomat đẩy xuống
• Bài giảng Xử lý ngôn ngữ tự nhiên
• Xử lý ngôn ngữ tự nhiên
• Natural language processing
• Phân tích cú pháp xác suất
• Văn phạm phi ngữ cảnh xác suất
• Độc lập ngữ cảnh
• Thuật toán Beam search
• Phân tích cú pháp
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• khoa học điều khiển
• Automata đẩy xuống
• Văn phạm hình thức và các Automata
• Trình biên dịch
• Ôtômat đẩy xuống
• Mô hình tính toán
• Ngôn ngữ không phi ngữ cảnh
• Lý thuyết ôtômát
• Bài giảng Lý thuyết ôtômát
• Ngôn ngữ hệ thống
• Định nghĩa ngôn ngữ
• Ngôn ngữ hình thức và Ôtômat
• Ôtomat hữu hạn
• lập trình cấp cao
• Khái niệm ngôn ngữ
• ngôn ngữ PL 0 mở rộng
• Giáo trình Otomat
• Otomat hữu hạn
• Nguyên lý ngôn ngữ lập trình
• Bài giảng Nguyên lý ngôn ngữ lập trình
• Trình biên dịch đơn giản
• Ôtômát và ngôn ngữ hình thức
• Ngôn ngữ tự nhiên
• CKY kết hợp xác suất
• Bài toán xâu rỗng