Bài giảng Lý thuyết tính toán: Bài 00 - Nguyễn Ngọc Tú

Bài giảng Lý thuyết tính toán: Bài 00 - Nguyễn Ngọc Tú với mục tiêu cung cấp những kiến thức cơ bản về ngôn ngữ, văn phạm và ô tô mát; cung cấp các phương pháp phân tích từ vựng, phân tích cú pháp; cơ sở cho việc tìm hiểu các ngôn ngữ lập trình;...
Nội dung trích xuất từ tài liệu:
Bài giảng Lý thuyết tính toán: Bài 00 - Nguyễn Ngọc Tú LÝ THUYẾT TÍNH TOÁN INTRODUCTION TO COMPUTATION THEORY (FORMAL LANGUAGES & AUTOMATA) Bài 00. Giới thiệu GV: Nguyễn Ngọc TúTIN331 Tu.NguyenNgoc@hoasen.edu.vnMục tiêu môn học Cung cấp những kiến thức cơ bản về ngôn ngữ, văn phạm và ôtômát. Cung cấp các phương pháp phân tích từ vựng, phân tích cú pháp. Cơ sở cho việc tìm hiểu các ngôn ngữ lập trình. Rèn luyện kỹ năng lập trình cho sinh viênCấu trúc môn học Thời gian 60 tiết  30 tiết Lý thuyết + Bài tập  30 tiết Thực hànhNội dung học1. Giới thiệu về lý thuyết tính toán2. Ôtômát hữu hạn3. Ngôn ngữ chính qui và văn phạm chính qui4. Các tính chất của ngôn ngữ chính qui5. Ngôn ngữ phi ngữ cảnh6. Đơn giản hóa văn phạm phi ngữ cảnh và các dạng chuẩn7. Ôtômát đẩy xuống8. Các tính chất của ngôn ngữ phi ngữ cảnh9. Máy TuringCác nội dung liên quan Ngôn ngữ lập trình Trình biên dịch (*) Toán tin học Kỹ thuật chứng minh  Quinạp  Phản chứng Kỹ thuật mô phỏngĐánh giá 3 phần đánh giá  Cuối kỳ (Thi trắc nghiệm) 40%  Thời gian: 120 phút  Số lượng: 50 câu  Được phép xem tài liệu trong 4 tờ giấy A4  Project (Hiện thực công cụ) 30% + 10%  Bài tập định kỳ 20%  Cộng điểm 10%Tài liệu Tham khảo1. Giáo trình lý thuyết Ngôn ngữ Hình thức và Automat - Hồ Văn Quân [2012].2. Introduction to Languages and The Theory of Computation, Fourth Edition. John C. Martin [2011]3. Introduction to Theory of Computation. Anil Maheshwari , Michiel Smid, [2012].