Bài giảng Lý thuyết tính toán Otomat và ngôn ngữ hình thức - GV. Hồ Văn Quân

Cùng nắm kiến thức trong bài giảng Lý thuyết tính toán Otomat và ngôn ngữ hình thức thông qua tìm hiểu nội dung trong 9 chương sau: 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.

Từ khóa: Lý thuyết tính toán Otomat, Lý thuyết ngôn ngữ hình thức, Ngôn ngữ lập trình, Kỹ thuật mô phỏng, Kỹ thuật chứng minh, Ngôn ngữ hình thức