Cổng xoay ở ga tàu chỉ nhớ đúng một điều, đang khoá hay đang mở, thế mà cùng cú đẩy lại cho hai kết cục khác nhau tuỳ nó đang ở đâu. Đó là trọn ý tưởng máy trạng thái hữu hạn: trí nhớ nằm hết trong trạng thái hiện tại, còn hàm chuyển δ nhận cặp trạng thái và ký hiệu rồi trả về trạng thái mới. Ba trạng thái r0, r1, r2 với luật r mới bằng (2r + bit) mod 3 là đủ để đọc chuỗi nhị phân dài tuỳ ý và biết nó chia hết cho 3 hay không. Định lý Kleene chốt lại: viết được bằng regex thì dựng được bằng ô-tô-mát, và ngược lại.
Cổng xoay ở ga tàu chỉ nhớ đúng một điều, đang khoá hay đang mở, thế mà cùng cú đẩy lại cho hai kết cục khác nhau tuỳ nó đang ở đâu. Đó là trọn ý tưởng máy trạng thái hữu hạn: trí nhớ nằm hết trong trạng thái hiện tại, còn hàm chuyển δ nhận cặp trạng thái và ký hiệu rồi trả về trạng thái mới. Ba trạng thái r0, r1, r2 với luật r mới bằng (2r + bit) mod 3 là đủ để đọc chuỗi nhị phân dài tuỳ ý và biết nó chia hết cho 3 hay không. Định lý Kleene chốt lại: viết được bằng regex thì dựng được bằng ô-tô-mát, và ngược lại.
Chủ đề liên quan trong Tư duy & Máy