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
→Xem thêm: AlphamaEditor, Add categories, part of Category Project Executed time: 00:00:05.2142982 using AWB |
|||
Dòng 17:
** Di chuyển sang ô bên phải
[[Tập tin:TuringMachine-State.svg|nhỏ|phải|250px|Ghi nhớ trạng thái trên máy Turing]]
* Một bộ phận ghi nhớ lại các ''trạng thái'' của máy Turing. Tại một thời điểm, máy Turing luôn ở
* Một ''hàm chuyển trạng thái'' hay ''bảng câu lệnh'' quy định hoạt động của máy Turing. Bảng này thường là danh sách chứa các quy tắc có dạng S<sub>i</sub> C<sub>i</sub> → S<sub>j</sub> C<sub>j</sub> D<sub>j</sub>. Ở đây S<sub>i</sub>, S<sub>j</sub> là các trạng thái trong ''S''. C<sub>i</sub>, C<sub>j</sub> là các ký tự trong bảng ký tự ''V'' (đọc được từ băng hoặc ghi lên băng). D<sub>j</sub> là
** Ghi đè ký tự C<sub>j</sub> lên ô mà đầu đọc đang nằm trên
** Di chuyển đầu đọc lệch
** 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.
|