Otomat và ngôn ngữ hình thức

Abstract

Cung cấp cho sinh viên các khái niệm về ngôn ngữ, văn phạm, otomat hữu hạn, otomat đẩy xuống, biểu thức chính quy, … làm cơ sở cho nghiên cứu tin học về mặt lý thuyết và cũng làm cơ sở để học tiếp môn Chương trình dịch. Kỹ năng: Giải các bài toán về văn phạm chính quy và otomat hữu hạn, phương pháp giải các bài toán liên quan tới văn phạm phi ngữ cảnh và otomat đẩy xuống.