Khác biệt giữa bản sửa đổi của “Máy Turing”
Nội dung được xóa Nội dung được thêm vào
n clean up, replaced: , → ,, . → ., : → : using AWB |
|||
Dòng 22:
** Di chuyển đầu đọc lệch 1 ô theo hướng D<sub>j</sub> (sang trái hoặc phải)
** Chuyển máy sang trạng thái S<sub>j</sub> và ghi nhớ nó vào bộ ghi nhớ trạng thái.
Trong một số mô hình, nếu máy đang ở trạng thái S<sub>i</sub> và đầu đọc đọc được ký tự C<sub>i</sub>, nhưng chưa có quy tắc nào quy định việc hành xử của máy lúc đó, thì máy được dừng lại và không tiếp tục chạy nữa.
Trong số các trạng thái trong ''S'', có thể quy định ra những trạng thái được gọi là trạng thái ''kết thúc''. Trong lý thuyết về [[ngôn ngữ hình thức]], nếu một đoạn ký tự (gọi là một ''từ'' hay một ''câu'') ghi trên dải băng đưa máy Turing chạy từ trạng thái ban đầu đến một trong số các trạng thái kết thúc thì câu viết đó được gọi là ''đoán nhận'' bởi máy Turing đã cho.
| |||