Theory of Computation

Tất cả bài viết trong loạt "Theory of Computation", theo thứ tự đọc. · 3 bài

1. Phần 1

   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

2. Phần 2

   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

3. Phần 3

   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