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