Bài giảng Lý thuyết tính toán

Abstract

Nội dung môn học tập trung vào kiến thức nền tảng; Otomat hữu hạn; Otomat hữu hạn không đơn định; biểu thức chính quy; ngôn ngữ không chính quy; văn phạm phi ngữ cảnh; otomat đẩy xuống; ngôn ngữ không phi ngữ cảnh; máy Turing; các biến thể của máy Turing; định nghĩa giải thuật; các ngôn ngữ quyết định được; bài toán dừng; quy dẫn.