Bài giảng Otomat và ngôn ngữ hình thức

Bài giảng môn học Otomat và ngôn ngữ hình thức nhằm trang bị cho sinh viên các năm cuối của ngành tin học các khái niệm về ngôn ngữ hình thức, các otomat, máy turing... Trên cơ sơ đó, các bạn sinh viên có thể hiểu sâu hơn cấu trúc các ngôn ngữ lập trình, các chương trình dịch cũng như bản chất của thuật toán và độ phức tạp tính toán của chúng.