ट्यूरिंग मशीनों के संदर्भ में रुकने, स्वीकार करने और निर्णय लेने में क्या अंतर है?

क्या यह स्वीकार करने का मतलब है कि टीएम उस सेल से एक चार्ट को पढ़ेगा और पहचानेगा जो वर्तमान में पढ़ रहा है? और क्या यह मामला है कि यदि इनपुट अस्वीकृत हो जाता है तो एक TM रुक जाता है?

terminology turing-machines undecidability

— sdfasdgasg
स्रोत

हॉल्टिंग समाप्त करने का पर्याय है (स्वीकार / अस्वीकार करने की स्थिति में)। किसी भाषा को स्वीकार करना (किसी भाषा में सदस्यता तय करना) का अर्थ है भाषा के अंतर्गत आने वाले सभी आदानों के लिए एक स्वीकृत स्थिति में ठहराव।

— saadtaame

यह बुनियादी परिभाषाओं का मामला है। आपको क्या भ्रमित कर रहा है?

— राफेल

राज्य को स्वीकार करना और अस्वीकार करना एक ट्यूरिंग मशीन अंततः दर्ज कर सकती है, यह टेप से पढ़े जाने वाले स्ट्रिंग पर आधारित है, न कि केवल एक कोशिका के प्रतीक के रूप में। बेशक, एक स्वीकार या अस्वीकार टेप दर्ज करने के बारे में निर्णय अंततः एक प्रतीक के आधार पर किया जाता है।

ट्यूरिंग मशीन या तो अंततः स्वीकार करने की स्थिति में प्रवेश कर सकती है, अस्वीकार करने की स्थिति में प्रवेश कर सकती है, या हमेशा के लिए लूप कर सकती है। यदि यह स्वीकार करने या अस्वीकार करने की स्थिति में प्रवेश करता है, तो यह रुक जाता है।

ट्यूरिंग मशीन को कुल कहा जाए तो यह सभी इनपुट्स पर आधारित है।

ट्यूरिंग मशीन द्वारा स्वीकार की जाने वाली भाषा उन सभी शब्दों का समूह है जो ट्यूरिंग मशीन के इनपुट के रूप में प्रदान किए जाने पर, ट्यूरिंग मशीन को स्वीकार करने वाली स्थिति में प्रवेश करने का कारण बनते हैं।

एक भाषा को यदि केवल और केवल ट्यूरिंग मशीन मौजूद है, तो भाषा को स्वीकार करने योग्य माना जाएगा।

— डेव क्लार्क
स्रोत

दरअसल, हमें ट्यूरिंग मशीन कार्यक्रमों के बारे में बात करनी चाहिए। ट्यूरिंग मशीन अपने आप में एक मॉडल है। यह अभिव्यक्ति का दुरुपयोग है।

— सादतमे