Gồm 9 chương: 1. Giới thiệu về lý thuyết tính toán; 2. Otomat 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. Otomat đẩy xuống; 8. Các tính chất của ngôn ngữ phi ngữ cảnh; 9. Máy turing.
Nội dung bài giảng: Chương I. Văn phạm và ngôn ngữ; Chương II. Ngôn ngữ chính quy và otomat hữu hạn; Chương III. Ngôn ngữ phi ngữ cảnh và otomat đẩy xuống; Chương IV: Cơ bản về chương trình dịch.
Bài giảng gồm có 09 chương : Chương 1. Giới thiệu về lý thuyết tính toán; Chương 2. Otomat 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. Otomat đẩ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.
Bài giảng gồm có 04 chương : Chương 1. Văn phạm và ngôn ngữ hình thức; Chương 2. Otomat hữu hạn và ngôn ngữ chính qui; Chương 3. Otomat đẩy xuống và ngôn ngữ phi ngữ cảnh; Chương 4. Máy turing.
