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

Sau khi học xong môn học này sinh viên có thể hiểu sâu hơn cấu trúc của 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. Nội dung chính của các chương như sau: Văn phạm và ngôn ngữ phi hình thức; Otomat hữu hạn và ngôn ngữ chính quy; Otomat đẩy xuống và ngôn ngữ phi ngữ cảnh; Máy Turing.

Từ khóa: Bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Phép toán trên ngôn ngữ, Ngôn ngữ chính quy, Máy Turing, Dạng chuẩn Chomsky, Văn phạm phi ngữ cảnh