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
Trường Đại học Bách khoa
Khoa Công NghệThông Tin
Trang 2
Lý thuyết Ôtômát & NNHT - Khoa Công NghệThông Tin
NỘI DUNG MÔN HỌC
Chương 1 Giới thiệu vềlý thuyết tính toán
Chương 2 Ôtômát hữu hạn
Chương 3 Ngôn ngữchính qui và văn phạm chính qui
Chương 4 Các tính chất của ngôn ngữchính qui
Chương 5 Ngôn ngữphi ngữcảnh
Chương 6 Đơn giản hóa văn phạm phi ngữcảnh và các
dạng chuẩn
Chương 7 Ôtômát đẩy xuống
Chương 8 Các tính chất của ngôn ngữphi ngữcảnh
Chương 9 Máy Turing
Trang 3
Lý thuyết Ôtômát & NNHT - Khoa Công NghệThông Tin
TÀI LIỆU THAM KHẢO
1. Bài giảng lý thuyết Ngôn ngữHình thức và Automat -
Hồ Văn Quân [2002].
2. An Introduction to Formal Languages and Automata -
Peter Linz [1990].
Trang 4
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 từng khóa học. Tuy nhiên,
thường là như được cho bên dưới.
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 trong 4 tờgiấy A4
Làm bài tập lớn cộng điểm (không bắt buộc)
Nộp bài tập lớn và báo cáo vào cuối học kỳ
Cộng tối đa 2 điểm
Trang 5
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 (*)
Toán tin học