อะไรคือความแตกต่างระหว่างการหยุดยอมรับและตัดสินใจในบริบทของเครื่องจักรทัวริง


10

การยอมรับหมายความว่า TM จะอ่านและรับรู้อักขระจากเซลล์ที่กำลังอ่านอยู่หรือไม่ และเป็นกรณีที่ TM หยุดทำงานหากอินพุตสามารถตัดสินใจได้หรือไม่?


การหยุดมีความหมายเหมือนกันกับการยุติ (ในสถานะการยอมรับ / ปฏิเสธ) การยอมรับภาษา (การตัดสินใจเป็นสมาชิกในภาษา) หมายถึงการหยุดในสถานะที่ยอมรับสำหรับอินพุตทั้งหมดที่อยู่ในภาษา
saadtaame

นี่เป็นเรื่องของคำจำกัดความพื้นฐาน คุณสับสนอะไร
กราฟิลส์

คำตอบ:


10

การยอมรับและปฏิเสธสถานะที่เครื่องทัวริงอาจเข้ามาในที่สุดก็ขึ้นอยู่กับสตริงที่อ่านจากเทปไม่ใช่แค่สัญลักษณ์จากเซลล์เดียว แน่นอนว่าการตัดสินใจเกี่ยวกับการป้อนเทปตอบรับหรือปฏิเสธนั้นทำในที่สุดบนพื้นฐานของสัญลักษณ์เดียว

ในที่สุดเครื่องทัวริงสามารถเข้าสู่สถานะการยอมรับเข้าสู่สถานะปฏิเสธหรือวนซ้ำตลอดไป ถ้ามันเข้าสู่สถานะการยอมรับหรือปฏิเสธก็จะหยุด

เครื่องทัวริงถูกกล่าวว่าเป็นผลรวมถ้าหยุดในอินพุตทั้งหมด

ภาษาที่ยอมรับโดยเครื่องจักรทัวริงคือชุดของคำทั้งหมดที่เมื่อป้อนเป็นเครื่องทัวริงทำให้เครื่องทัวริงเข้าสู่สถานะการยอมรับ

ภาษาถูกกล่าวได้ว่าสามารถตัดสินใจได้ถ้าหากมีเครื่องทัวริงทั้งหมดที่จะยอมรับภาษานั้น


ที่จริงแล้วเราควรพูดถึงโปรแกรมทัวริง เครื่องจักรทัวริงเป็นแบบจำลอง เป็นการแสดงออกที่ไม่เหมาะสม
saadtaame
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.