Bài giảng Lý thuyết ôtômát và ngôn ngữ hình thức do giảng viên Hồ Văn Quân trường Đại học Bách khoa biên soạn gồm 9 chương với những nội dung chủ yếu như: Giới thiệu về lý thuyết tính toán, ôtômát hữu hạn, ngôn ngữ chính quy và văn phạm chính quy, các tính chất của ngôn ngữ chính quy,. .