Blog
Series:
3 bài viế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
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
Ngôn ngữ chính quy vẫn chính quy — dù bạn làm gì với chúng
Cách xây DFA cho pattern cụ thể, tại sao đổi trạng thái chấp nhận cho bạn phần bù miễn phí, và cách chạy song song hai máy chứng minh tính đóng với phép hợp