Sự khác biệt giữa tạm dừng, chấp nhận và quyết định trong bối cảnh của máy Turing là gì?


10

Có chấp nhận có nghĩa là TM sẽ đọc và nhận ra một char từ ô mà nó hiện đang đọc không? Và đó có phải là trường hợp một TM tạm dừng nếu đầu vào là quyết định?


Ngừng là đồng nghĩa với chấm dứt (trong trạng thái chấp nhận / từ chối). Chấp nhận một ngôn ngữ (quyết định thành viên trong một ngôn ngữ) có nghĩa là tạm dừng ở trạng thái chấp nhận cho tất cả các đầu vào thuộc về ngôn ngữ.
saadtaame

Đây là một vấn đề của định nghĩa cơ bản. Điều gì đã làm bạn bối rối?
Raphael

Câu trả lời:


10

Việc chấp nhận và từ chối trạng thái mà máy Turing cuối cùng có thể nhập, dựa trên chuỗi được đọc từ băng, không chỉ là biểu tượng từ một ô. Tất nhiên, quyết định về việc nhập một băng chấp nhận hoặc từ chối cuối cùng được đưa ra trên cơ sở một biểu tượng.

Một máy Turing cuối cùng có thể vào trạng thái chấp nhận, nhập trạng thái từ chối hoặc lặp lại mãi mãi. Nếu nó đi vào trạng thái chấp nhận hoặc từ chối, thì nó dừng lại.

Một máy Turing được gọi là tổng nếu nó dừng trên tất cả các đầu vào.

Ngôn ngữ được máy Turing chấp nhận là tập hợp tất cả các từ mà khi được cung cấp làm đầu vào cho máy Turing, khiến máy Turing đi vào trạng thái chấp nhận.

Một ngôn ngữ được cho là có thể quyết định nếu và chỉ khi tồn tại một máy Turing tổng số sẽ chấp nhận ngôn ngữ đó.


Thật ra, chúng ta nên nói về các chương trình máy Turing. Bản thân máy Turing là một mô hình. Đó là một sự lạm dụng của biểu thức.
saadtaame
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.