intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

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

Chia sẻ: Nguyễn Thị Huyền | Ngày: | Loại File: PDF | Số trang:7

82
lượt xem
3
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

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;...

Chủ đề:
Lưu

Nội dung Text: Bài giảng Lý thuyết tính toán: Bài 00 - 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  Quinạ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].
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2