Bài giảng môn học lý thuyết automata và ngôn ngữ hình thức

Bài giảng môn học lý thuyết automata và ngôn ngữ hình thức

Trường Đại học Bách khoa Khoa Công Nghệ Thông Tin BÀI GIẢNG MÔN HỌC LÝ THUYẾT ÔTÔMÁT & NNHT Giảng Viên: Hồ Văn Quân E-mail: hcquan@dit.hcmut.edu.vn Web site: http://www.dit.hcmut.edu.vn/~hcquan/student.htm NỘI DUNG MÔN HỌC „ „ „ „ „ „ „ „ „ Chương Chương Chương Chương Chương Chương Giới thiệu lý thuyết tính tốn Ơtơmát hữu hạn Ngơn ngữ qui văn phạm qui Các tính chất ngơn ngữ qui Ngơn ngữ phi ngữ cảnh Đơn giản hóa văn phạm phi ngữ cảnh dạng chuẩn Chương Ơtơmát đẩy xuống Chương Các tính chất ngơn ngữ phi ngữ cảnh Chương Máy Turing Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin TÀI LIỆU THAM KHẢO Bài giảng lý thuyết Ngơn ngữ Hình thức Automat Hồ Văn Qn [2002] An Introduction to Formal Languages and Automata Peter Linz [1990] Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin HÌNH THỨC ĐÁNH GIÁ „ „ Sẽ có thơng báo cụ thể cho khóa học Tuy nhiên, thường cho bên Thi trắc nghiệm „ „ „ „ Thời gian: 120 phút Số lượng: 50 câu Được phép xem tài liệu tờ giấy A4 Làm tập lớn cộng điểm (không bắt buộc) „ „ Nộp tập lớn báo cáo vào cuối học kỳ Cộng tối đa điểm Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin CÁC MƠN LIÊN QUAN „ „ „ Ngơn ngữ lập trình Trình biên dịch (*) Tốn tin học Trang Lý thuyết Ơtơmát & NNHT - Khoa Công Nghệ Thông Tin Chương Giới thiệu lý thuyết tính tốn 1.1 Giới thiệu 1.2 u cầu kiến thức 1.3 Ba khái niệm „ „ „ Ngơn ngữ (languages) Văn phạm (grammar) Ơtơmát (máy tự động) 1.4 Một vài ứng dụng Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin Giới thiệu „ Ơtơmát „ „ Các mơ hình tính tốn tự động Ngơn ngữ hình thức (formal languages): „ „ „ „ „ Định nghĩa Phân loại ngôn ngữ Quan hệ với ôtômát Ứng dụng vào việc xây dựng ngơn ngữ lập trình Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin Yêu cầu kiến thức „ Lý thuyết „ „ „ Kỹ thuật chứng minh „ „ „ Tập hợp Đồ thị Qui nạp Phản chứng Kỹ thuật mô Trang Lý thuyết Ơtơmát & NNHT - Khoa Công Nghệ Thông Tin Ba khái niệm „ „ „ Ngơn ngữ (languages) Văn phạm (grammar) Ơtơmát (automata) Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin Ngơn ngữ „ Ngơn ngữ gì? „ „ „ Các từ điển định nghĩa ngôn ngữ cách khơng xác hệ thống thích hợp cho việc biểu thị ý nghĩ, kiện, hay khái niệm, bao gồm tập kí hiệu qui tắc để vận dụng chúng Định nghĩa chưa đủ xác để nghiên cứu NNHT Chúng ta cần xây dựng định nghĩa tốn học cho khái niệm ngơn ngữ Trang 10 Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin ... giảng lý thuyết Ngơn ngữ Hình thức Automat Hồ Văn Qn [2002] An Introduction to Formal Languages and Automata Peter Linz [1990] Trang Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin HÌNH THỨC... Các mơ hình tính tốn tự động Ngơn ngữ hình thức (formal languages): „ „ „ „ „ Định nghĩa Phân loại ngôn ngữ Quan hệ với ôtômát Ứng dụng vào việc xây dựng ngơn ngữ lập trình Trang Lý thuyết Ơtơmát... {a, aa, aab} ngơn ngữ Σ Nó ngôn ngữ hữu hạn Tập L = {anbn : n ≥ 0} ngôn ngữ Σ Nó ngơn ngữ vơ hạn Trang 17 Lý thuyết Ơtơmát & NNHT - Khoa Cơng Nghệ Thơng Tin Các phép tốn ngơn ngữ „ Bù (complement),