في مثال المصباح المتقدّم السابق لدينا:

1. مجموعة الحالات ${\displaystyle Q}$ هي {منطفئ، ضعيف، متوسط، قوي}.
2. مجموع رموز الدخل ${\displaystyle \Sigma }$ هي {أطفئ، اضغط}.
3. تم تمثيل الدالة ${\displaystyle \delta }$ في الشكل السابق بالأسهم التي تنتقل من حالة إلى أخرى، ويمكن تعداد هذه الدالّة:
   • (منطفئ، أطفئ) ${\displaystyle \leftarrow }$ منطفئ
   • (منطفئ، اضغط) ${\displaystyle \leftarrow }$ ضعيف
   • (ضعيف، أطفئ) ${\displaystyle \leftarrow }$ منطفئ
   • (ضعيف، اضغط) ${\displaystyle \leftarrow }$ متوسط
   • (متوسط، أطفئ) ${\displaystyle \leftarrow }$ منطفئ
   • (متوسط، اضغط) ${\displaystyle \leftarrow }$ قوي
   • (قوي، أطفئ) ${\displaystyle \leftarrow }$ منطفئ
   • (قوي، اضغط) ${\displaystyle \leftarrow }$ قوي
4. حالة البدء ${\displaystyle q_{0}}$ هي منطفئ.
5. مجموعة الحالات النهائية ${\displaystyle F}$ هي مجموعة وحيدة العنصر وهي: {قوي}.

كما ذكرنا سابقا فإن الآلات الذاتية التشغيل الحتمية (بالإنجليزية Determinisic Finite State Automaton أو باختصار DFA) تكون دائما في حالة واحدة فقط مهما كانت سلسلة الدخل التي قامت بتصريفها، وذلك لأنه لا توجد سوى نقلة واحدة لكل رمز دخل عند كل حالة.

كل الأمثلة السابقة هي آلات محدّدة.

الآلات غير المحدّدة (بالإنجليزية Nondeterminisic Finite State Automaton أو باختصار NFA) هي آلات يمكن أن تكون في حالات محتملة عدّة عند كل لحظة، حيث يمكن لها أن تشتغل في جهات عدّة عند كلّ رمز دخل. يتم تحديد الاتجاه المناسب خطوة بعد خطوة عند كل رمز كلما رفض اتجاه ما هذا الرمز.

تكون الآلة غير المحدّدة في حالة نهائية (أي حالة قبول) إذا كانت أي من الحالات المحتملة الحالية حالة قبول.

مثال آلة غير محدّدة «لا حتمية»

الشكل التالي يوضح آلة غير محدّدة. لاحظ أن هذه الآلة تقبل كل السلاسل المتكونة من الأرقام 0 و1 والمنتهية بالسلسلة 1-0 (تُقرأ السلسلة من اليمين إلى اليسار). لاحظ انه في الحالة ح0، عند إدخال الرمز 1 هناك حالتان محتملتان هما ح0 نفسها وح1.

آلة ذاتية التشغيل غير محددة.

التعريف الرياضي

رياضياً التعريف هو نفس تعريف الآلة المحددة مع اختلاف وحيد في الدالة. الدالة ${\displaystyle \delta }$ للآلة المحددة تنتج حالة واحدة فقط عند كل ثنائية حالة ورمز، أما دالة الآلة غير المحددة فتنتج مجموعة من الحالات. يمكن استبدال العنصر الثالث في قائمة التعريف السابقة بالتعريف:

• ${\displaystyle \delta }$ هي دالّة للنقل (أو التحول) معرفة بـ ${\displaystyle \delta :Q\times \Sigma \rightarrow {\mathcal {P}}(Q)}$، يكون مدخلها ثنائية من حالة (${\displaystyle q}$) ورمز دخل (${\displaystyle a}$)، ومخرجها مجموعة حالات (${\displaystyle Q\prime }$) تنتمي إلى المجموعة (${\displaystyle Q}$)، أي ${\displaystyle \delta (q,a)=Q\prime }$.

يرمز ${\displaystyle {\mathcal {P}}(Q)}$ إلى مجموعة كل المجموعات التي يمكن تكوينها من عناصر المجموعة ${\displaystyle Q}$.

مثال الآلة غير المحددة السابق

1. مجموعة الحالات ${\displaystyle Q}$ هي { ح0، ح1، ح2}.
2. مجموع رموز الدخل ${\displaystyle \Sigma }$ هي {0، 1}.
3. الدالة ${\displaystyle \delta }$:
   • (ح0، 0) ${\displaystyle \leftarrow }$ {ح0}
   • (ح0، 1) ${\displaystyle \leftarrow }$ {ح0, ح1}
   • (ح1، 0) ${\displaystyle \leftarrow }$ {ح2}
4. حالة البدأ ${\displaystyle q_{0}}$ هي ح0.
5. مجموعة الحالات النهائية ${\displaystyle F}$ هي مجموعة وحيدة العنصر وهي: {ح2}.

بالإنجليزية Nondeterministic finite automata with ε transitions أو ε-NFA.

هذه الآلات مشابهة للآلات غير المحددة مع إمكانية تنقلها من حالة إلى أخرى من دون إدخال أي رمز. يرمز للتنقل المعدوم بـ ε. وهذا يعني أن الآلة يمكن أن تكون في مجموعة الحالات التي يمكن التنقل إليها من الحالة الحالية باستعمال هذا الرمز.

• John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman (2003)، Introduction to Automata Theory, Languages, and Computation.{{استشهاد بكتاب}}: صيانة CS1: أسماء متعددة: قائمة المؤلفون (link)
• Michael Sipser (1997)، Introduction to the Theory of Computation، PWS Publishing، ISBN 0-534-94728-X.

• Visual Automata Simulator (بالإنجليزية)
• Proyecto SEPa (بالإسبانية)
• Exorciser (بالألمانية)

• بوابة لسانيات
• بوابة تقنية المعلومات
• بوابة منطق
• بوابة علم الحاسوب