Lý Thuyết Automat Và Ngôn Ngữ Hình Thức

Mỗi ngành khoa học đều có cơ sở lý thuyết của nó. Khoa học máy tính (Tin học) cũng vậy: cơ sở lý thuyết của khoa học máy tính là lý thuyết automat. Lý thuyết automat luôn là một môn học cơ sở không thể thiếu của các chương trình đào tạo cử nhân và kỹ sư công nghệ thông tin. Đây chính là lý do mà dịch giả Trần Đức Quang cố công chọn lọc và biên dịch một tập sách về lĩnh vực này từ cuốn sách kinh điển: Introduction to Automata Theory, Languages, and Computation ấn bản lần 2 do Addison-Wesley ấn hành năm 2001 của John E. Hopcroft, Rajeev Motwani và Jeffrey D. Ullman. Nội dung được chọn lọc phù hợp với chương trình cử nhân tin học hoặc toán tin học.
Sách gồm 6 chương:

Chương 1: Mô hình tính toán Automat

Chương 2: Automat hữu hạn

Chương 3: Biểu thức và ngôn ngữ chính quy

Chương 4: Văn phạm và ngôn ngữ phi ngữ cảnh

Chương 5: Automat đẩy xuống

Chương 6: Máy Turing