Blog
Series:
2 bài viết
Mô tả pattern là một chuyện — kiểm tra nó bằng máy lại là chuyện khác
Biểu thức chính quy mô tả pattern như thế nào, và DFA — loại máy đơn giản nhất — kiểm tra chúng ra sao, từng ký tự một
Máy tính thật sự giải được gì, và làm sao mình biết?
Giới thiệu lý thuyết tính toán — bài toán quyết định, ngôn ngữ hình thức, và biểu thức chính quy qua góc nhìn về giới hạn của máy tính