सवाल: क्या एक डी. एफ. ए. में एक से अधिक अंतिम राज्य हो सकते हैं

प्रसंग: यह आकृति एक स्थिति आरेख का उपयोग करके एक निर्धारक सीमित स्वचालित को दर्शाती है। स्वचालित में, तीन अवस्थाएँ हैंः एस, एस, और एस (वृत्तों द्वारा चित्रात्मक रूप से निरूपित)। स्वचालित इनपुट के रूप में 0s और 1s का एक सीमित अनुक्रम लेता है। प्रत्येक राज्य के लिए, एक संक्रमण तीर होता है जो 0 और 1 दोनों के लिए अगले राज्य की ओर जाता है। एक प्रतीक को पढ़ने पर, एक डी. एफ. ए. संक्रमण तीर का पालन करके एक राज्य से दूसरे राज्य में निर्धारक रूप से कूदता है। उदाहरण के लिए, यदि ऑटोमेटन वर्तमान में एस अवस्था में है और वर्तमान इनपुट प्रतीक 1 है, तो यह निर्धारक रूप से एस अवस्था में कूद जाता है। ए. डी. एफ. ए. की एक प्रारंभिक स्थिति होती है (जहाँ से गणना शुरू होती है, और एक सेट होता है। स्वीकार अवस्थाएँ (एक दोहरे वृत्त द्वारा ग्राफिकल रूप से निरूपित) जो एक गणना के सफल होने पर परिभाषित करने में मदद करती हैं। प्रत्येक राज्य के लिए, एक संक्रमण तीर होता है जो 0 और 1 दोनों के लिए अगले राज्य की ओर जाता है। एक प्रतीक को पढ़ने पर, एक डी. एफ. ए. संक्रमण तीर का पालन करके एक राज्य से दूसरे राज्य में निर्धारक रूप से कूदता है।
