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?
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?
Câu trả lời:
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ữ đó.