एक डीएफए को अक्सर एनएफए के प्रतिबंधित प्रकार के रूप में परिभाषित किया जाता है। यदि इनपुट वर्णमाला है और राज्यों का समुच्चय है, NFA की संक्रमण संरचना एक संबंध रूप में निर्दिष्ट की जाती है , या एक फ़ंक्शन । यदि हम बाद की परिभाषा को अपनाते हैं, तो हम कह सकते हैं कि एक NFA निर्धारक है यदि और लिए , और पूरा अगर , फिर से, सभी और ।क्यू ρ ⊆ क्यू × Σ × क्यू δ : ( क्यू × Σ ) → 2 क्यू | δ ( क्ष , σ ) | ≤ 1 क्ष ∈ क्यू σ ∈ Σ δ ( क्ष , σ ) ≠ ∅ क्ष ∈ क्यू σ ∈ ΣΣQρ⊆Q×Σ×Qδ:(Q×Σ)→2Q|δ(q,σ)|≤1q∈Qσ∈Σδ(q,σ)≠∅q∈Qσ∈Σ
एक शब्द एनएफए द्वारा स्वीकार किया जाता है अगर इसमें एक स्वीकार रन होता है। एक नियतात्मक automaton के पास सबसे अधिक एक रन है। एक पूर्ण ऑटोमोटन में कम से कम एक रन होता है।
कुछ लेखक ट्रिम ऑटोमेटा को उन लोगों के रूप में परिभाषित करते हैं, जिनमें प्रत्येक राज्य प्रारंभिक अवस्था से अंतिम अवस्था तक कुछ पथ पर होता है। कुछ भाषाओं के लिए, आपके पास ऑटोमेटा नहीं हो सकता है जो ट्रिम और पूर्ण दोनों हैं। उन मामलों में, निर्धारक ऑटोटैटन की परिभाषा से पूर्णता की आवश्यकता को रखना सुविधाजनक है।