ĐỀ CƯƠNG AUTOMAT và NGÔN NGỮ HÌNH THỨC

Phân loại ngôn ngữ.. - Khảo sát 2 lớp ngôn ngữ quan trọng: Ngôn ngữ chính qui và ngôn ngữ phi ngữ cảnh.. - Giới thiệu về máy Turing và khái niệm giải thuật.. Giải thuật sinh và giải thuậ

TRƯỜNG ĐẠI HỌC TÔN ĐỨC THẮNG

KHOA : CNTT-TƯD

BỘ MÔN : TOÁN

- -CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM

Độc Lập – Tự do – Hạnh phúc



ĐỀ CƯƠNG MÔN HỌC

AUTOMAT VÀ NGÔN NGỮ HÌNH THỨC

Mã số môn học:

 Số tín chỉ : 3(30,15,0,90)

 Số tiết tổng : 45 LT: 30 BT: 15 TN(TH): 30 BTL(TL):

 Ngành đào tạo : Công nghệ thông tin, Toán tin ứng dụng, Điện - Điện tử

Điểm thứ 1: 10% Kiểm tra trên lớp Điểm thứ 2: 20% Kiểm tra trắc nghiệm giữa kỳ Điểm thứ 1: 10% Kiểm tra viết cuối kỳ

 Môn tiên quyết : Cơ sở lập trình MS:

 Ghi chú khác :

Nội dung tóm tắt môn học:

- Mô hình toán học của ngôn ngữ Phân loại ngôn ngữ

- Khảo sát 2 lớp ngôn ngữ quan trọng: Ngôn ngữ chính qui và ngôn ngữ phi ngữ cảnh

- Giới thiệu về máy Turing và khái niệm giải thuật Luận đề Church

Tài liệu tham khảo:

[1] C Đ Khánh, Giáo khoa tóm tắt và bài tập Automat và ngôn ngữ hình thức, ĐH Tôn Đức Thắng,

2009

[2] P Linz, An Introduction to Formal Languages and Automata, Lexington,1990

Cán bộ tham gia giảng dạy:

 TS Chu Đức Khánh, ĐH Tôn Đức Thắng

 ThS Nguyễn Thị Thanh Hương, DBĐH

Nội dung chi tiết:

Chương 1 Các khái niệm căn bản

1.1 Chuỗi

1.2 Ngôn ngữ

1.3 Giải thuật sinh và giải thuật nhận dạng

1.4 Văn phạm

1.5 Phân loại ngôn ngữ của N Chomsky

1.6 Automat

Chương 2 Ngôn ngữ chính qui

2.1 Định nghĩa và thí dụ

2.2 Tính chất của văn phạm chính qui

2.3 Biểu thức chính qui

2.4 Automat hữu hạn đơn định

2.5 Vài giải thuật về DFA

2.6 Automat hữu hạn không đơn định Giải thuật mô phỏng

NFA thành DFA

2.7 Định lý Kleene

2.8 Tính chất của lớp các RL

2.9 Bổ đề bơm cho RL

Chương 3 Ngôn ngữ phi ngữ cảnh

3.1 Định nghĩa và thí dụ

3.2 Cây dẫn xuất

3.3 Đơn giản CFG

3.4 Dạng chuẩn của CFG

3.5 PDA

3.6 Quan hệ giữa PDA và CFG

3.7 Tính chất của lớp các CFL

3.8 Bổ đề bơm cho CFL

Chương 4 Sơ lược về máy Turing

4.1 Định nghĩa TM chuẩn

4.2 TM và ngôn ngữ

4.3 Các dạng tương đương của TM chuẩn

4.4 LBA và ngôn ngữ cảm ngữ cảnh

4.5 Luận đề Turing- Church

4.6 Giới thiệu về Lý thuyết tính toán: Khái niệm bài toán

giải được

đọc

Ngày phê duyệt:

Chủ nhiệm bộ môn (ngành) duyệt

(ký và ghi rõ họ tên)