›

Giáo trình Lý thuyết tính toán - Bài 0: Giới thiệu - Nguyễn Ngọc Tú

pdf 7 trang huongle 1900
Download
Bạn đang xem tài liệu "Giáo trình Lý thuyết tính toán - Bài 0: Giới thiệu - Nguyễn Ngọc Tú", để tải tài liệu gốc về máy bạn click vào nút DOWNLOAD ở trên

Tài liệu đính kèm:

  • pdfgiao_trinh_ly_thuyet_tinh_toan_bai_0_gioi_thieu_nguyen_ngoc.pdf

Nội dung text: Giáo trình Lý thuyết tính toán - Bài 0: Giới thiệu - Nguyễn Ngọc Tú

  1. 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.vn
  2. Mụ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ên
  3. Cấ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ành
  4. Nội dung học 1. Giới thiệu về lý thuyết tính toán 2. Ôtômát hữu hạn 3. Ngôn ngữ chính qui và văn phạm chính qui 4. Các tính chất của ngôn ngữ chính qui 5. Ngôn ngữ phi ngữ cảnh 6. Đơn giản hóa văn phạm phi ngữ cảnh và các dạng chuẩn 7. Ôtômát đẩy xuống 8. Các tính chất của ngôn ngữ phi ngữ cảnh 9. Máy Turing
  5. Cá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  Qui nạp  Phản chứng  Kỹ thuật mô phỏng
  6. Đá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%
  7. Tài liệu Tham khảo 1. 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].