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