• يتم استخدام آلة الحالة المحدودة للتعرف على الأنماط.
• تأخذ آلة التشغيل الآلي المحدودة سلسلة الرمز كمدخل وتغير حالتها وفقًا لذلك. في الإدخال، عندما يتم العثور على الرمز المطلوب، يحدث الانتقال.
• أثناء الانتقال، يمكن للأوتوماتا إما الانتقال إلى الحالة التالية أو البقاء في نفس الحالة.
• لدى FA حالتان: حالة القبول أو حالة الرفض. عندما تتم معالجة سلسلة الإدخال بنجاح وتصل الآلة إلى حالتها النهائية، فإنها ستقبل.

تتكون الأتمتة المحدودة مما يلي:

س: مجموعة منتهية من الحالات
∑: مجموعة محدودة من رمز الإدخال
q0: الحالة الأولية
ف: الحالة النهائية
د: وظيفة الانتقال

يمكن تعريف وظيفة الانتقال على أنها

 δ: Q x ∑ →Q 

يتميز اتحاد كرة القدم بطريقتين:

1. DFA (أتمتة محدودة)
2. NDFA (أتمتة محدودة غير حتمية)

DFA

DFA لتقف على حتمية محدودة Automata. الحتمية تشير إلى تفرد الحساب. في DFA، ينتقل حرف الإدخال إلى حالة واحدة فقط. لا يقبل DFA النقل الفارغ الذي يعني أن DFA لا يمكنه تغيير الحالة بدون أي حرف إدخال.

يحتوي DFA على خمسة صفوف {Q، ∑، q0، F، δ}

مثال

انظر مثالاً على الأتمتة الحتمية المحدودة:

int إلى سلسلة Java

 Q = {q0, q1, q2} ∑ = {0, 1} q0 = {q0} F = {q3} 

ندفا

يشير NDFA إلى الأتمتة المحدودة غير الحتمية. يتم استخدامه لعبور أي عدد من الحالات لمدخل معين. يقبل NDFA الحركة NULL مما يعني أنه يمكنه تغيير الحالة دون قراءة الرموز.

لدى NDFA أيضًا خمس ولايات مثل DFA. لكن NDFA لديه وظيفة انتقالية مختلفة.

يمكن تعريف وظيفة الانتقال لـ NDFA على النحو التالي:

مثال

شاهد مثالاً على الأتمتة المحدودة غير الحتمية:

 Q = {q0, q1, q2} ∑ = {0, 1} q0 = {q0} F = {q3}