عرض مصدر آلة محدودة الحالات غير قطعية

الماكينة محدودة الحالات غير القطعية أو نموذج التشغيل الذاتي المحدود غير القطعي (NFA) في المعلوماتية النظرية هو ماكينة محدودة الحالات حيث قد يؤدي كل زوج مكون من رمز من رموز المدخلات وأحد الحالات إلى عدد من الحالات في الخطوة التالية، وهذا ما يميز هذا النموذج عن نموذج التشغيل الذاتي المحدود القطعي (DFA) حيث تكون الحالة المحتملة التالية حالة واحدة فقط. برغم أن لكل من النموذجين تعريف مختلف، يمكن إثبات أنهما متساويان في النظرية الشكلية حيث يمكن إنشاء DFA مكافئ لأي NFA والعكس صحيح، وهذا ما يسمى بإنشاء المجموعة المضاعفة. يتعرف كلا النموذجين على [[اللغات النمطية]] فقط. تدرس نماذج التشغيل المحدودة غير القطعية أحيانا باسم مساحة التنقل محدودة النوع. يعتبر نموذج التشغيل الاحتمالي الذي يعطي لكل نقلة من حالة إلى أخرى احتمالية نموذجا أعم من نموذج التشغيل المحدود غير القطعي.
قدم [[مايكل و. رابين]] و[[دانا سكوت]] <ref>Rabin and Scott (1959)</ref> نموذج التشغيل المحدود غير القطعي عام 1959، وهما من بينا أيضا مكافأته لنموذج التشغيل المحدود القطعي.

== مقدمة بسيطة ==
يستهلك أي NFA - وكذلك أي DFA - متسلسلة من رموز المدخلات، وينتقل إلى حالة جديدة بعد كل رمز حتى ينتهي من جميع الرموز.
وهو يخالف الـDFA في كونه غير قطعي، بمعنى أن أي رمز من رموز المدخلات قد يؤدي إلى واحدة من عدد من الحالات المحتملة، بالتالي الحالة التالية في التعريف الشكلي هي عنصر من عناصر المجموعة المضاعفة للحالات، هذا العنصر - هو نفسه عبارة عن مجموعة - يمثل مجموعة جزئية من جميع الحالات يتم التعامل معها جميعا في نفس الوقت.
NFA-lambda هو امتداد للـ NFA (يعرف أيضا باسم NFA-epsilon أو نموذج NFA ب[[نقلات إبسلون]]) وهو يتيح الانتقال إلى حالة جديدة بدون استخدام أي من رموز المدخلات، مثلا إذا كان النظام في الحالة 1 والرمز التالي هو a فيمكنه التحرك إلى الحالة 2 بدون استخدام أي رمز، بالتالي هناك التباس: هل النظام في الحالة 1 أم 2 قبل استخدام الحرف a؟ بسبب هذا الالتباس فالكلام عن مجموعة الحالات التي يمكن أن يكون النظام موجود بها أكثر ملاءمة لهذا الوضع، وهكذا قد يكون NFA-epsilon في أحد حالات المجموعة {1, 2} قبل استخدامه للحرف a، وهذا معناه أننا يمكننا تخيل وجود الـNFA في الحالة 1 و2 في نفس الوقت، وهذا يعطينا إشارة من عملية إنشاء المجموعة المضاعفة: يعرف الـDFA المكافئ للـ NFA بأنه النموذج الموجود عند الحالة q={1,2}. التحرك إلى حالات جديدة بدون استخدام أي من رموز المدخلات يسمى نقلات لامدا أو نقلات إبسلون، وتأخذ عادة [[الرموز اليونانية]] λ وε.
مفهوم قبول متسلسلة في NFA يماثل نفس المفهوم في DFA، بعد استخدام آخر رمز في المدخلات الـNFA يقبل المتسلسلة فقط إذا كانت هناك مجموعة من النقلات التي تنتهي به إلى حالة قبول، كذلك يرفض المتسلسلة إذا لم ينته إلى حالة قبول مهما كانت النقلات المستخدمة.

== التعريف الشكلي ==
هناك تعريفان لنوعين مماثلين من NFA: NFA وNFA-epsilon. يعرف النموذج العادي بالمرتب الخماسي (Q, Σ, T, q0, F) الذي يتألف من
* مجموعة محدودة من الحالات Q
* مجموعة محدودة من رموز المدخلات Σ
* دالة انتقال T : Q × Σ → P(Q)
* حالة ابتدائية (أو بداية) q0 ∈ Q
* مجموعة من الحالات F تتميز بأنها حالات قبول (أو نهائية) F ⊆ Q
P(Q) هنا تشير إلى المجموعة المضاعفة من Q، وفي NFA الذي يحتوي على حركات إبسلون (أو NFA-lambda أو NFA-epsilon) تستبدل دالة الانتقال بأخرى تقبل المتسلسلة الفارغة ε كأحد مدخلاتها، بالتالي
T : Q × (Σ ∪{ε}) → P(Q).
يمكن إثبات أن NFA العادي والـ NFA الذي يحتوي على حركات إبسلون متكافئين ، فيمكن إنشاء أحدهما باستخدام الآخر بحيث يقبل كلاهما نفس اللغة.

== الخصائص ==
تبدأ الماكينة في حالة ابتدائية محددة وتبدأ في قراءة متسلسلة من رموز أبجديتها، يستخدم نموذج التشغيل الذاتي دالة الانتقال T لمعرفة الحالة التالية التي تؤدي إليها الحالة الحالية والرمز الذي تمت قراءته أو المتسلسلة الفارغة، ولكن الحالة التالية في NFA لا تعتمد على عملية الإدخال الحالية فحسب ولكن على عدد عشوائي من عمليات الإدخال اللاحقة أيضا، وحتى حدوث هذه العمليات لا يمكن معرفة الحالة الموجودة عندها الماكينة.<ref>FOLDOC Free Online Dictionary of Computing, ''[http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=nfa Finite State Machine]{{وصلة مكسورة|date=مايو 2020 |bot=InternetArchiveBot }}'' {{استشهاد ويب |مسار=https://foldoc.org/NFA |عنوان=نسخة مؤرشفة |تاريخ الوصول=29 مايو 2020 |تاريخ أرشيف=4 أبريل 2015 |مسار أرشيف=https://web.archive.org/web/20150404192541/http://foldoc.org/NFA |حالة المسار=bot: unknown }}</ref> إذا كانت الماكينة في حالة قبول بعد قراءتها لكل رموز المدخلات يقال أن الـNFA يقبل هذه المتسلسلة، غير هذا يقال أنه يرفضها.
وتسمى مجموعة المتسلسلات التي قبلها الـNFA اللغة التي يقبلها، وهي [[لغة نمطية]].
لكل NFA يوجد ماكينة قطعية محدودة الحالات (DFA) تقبل نفس اللغة، بالتالي يمكن تحويل أي NFA إلى DFA بغرض عمل ماكينة (ربما تكون) أبسط، ويمكن عمل هذا باستخدام عملية إنشاء المجموعة المضاعفة التي قد تؤدي إلى زيادة أسية في عدد الحالات المطلوبة، يوجد هنا الإثبات الشكلى لعملية إنشاء المجموعة المضاعفة.

== خصائص NFA-ε ==
لكل <math>p,q\in Q,</math> نكتب <math>p\stackrel{\epsilon}{\rightarrow}q</math> فقط إذا كان يمكن الوصول من <math>p</math> إلى <math>q</math> عن طريق صفر أو أكثر من أسهم <math>\epsilon</math>، بمعنى أن <math>p\stackrel{\epsilon}{\rightarrow}q</math> فقط إذا كان هناك <math>q_{1}, q_{2},\cdots q_{k}\in Q</math> بحيث
:<math>q_{1}\in T(p,\epsilon), q_{2}\in T(q_{1},\epsilon),\cdots q_{k}\in T(q_{k-1},\epsilon), q\in T(q_{k},\epsilon)</math>.

لكل <math>p\in Q</math>، تسمى مجموعة الحالات التي يمكن الوصول إليها من p ε-closure أو epsilon-closure من p، وتكتب
:<math>\,E(\{p\}) = \{ q\in Q : p\stackrel{\epsilon}{\rightarrow}q\}</math>.

لأي مجموعة جزئية<math>P\subset Q</math>، تعرف ε-closure من P كـ
:<math>E(P) = \bigcup\limits_{p\in P}E(\{p\})</math>.

نقلات إبسلون انتقالية فيمكن إثبات أن لكل <math>q_{0}, q_{1}, q_{2}\in Q</math> و<math>P\subset Q</math>، إذا كان <math>q_{1}\in E(\{q_{0}\})</math> و<math>q_{2}\in E(\{q_{1}\})</math>، فإن <math>q_{2}\in E(\{q_{0}\})</math>.

وبالمثل إذا كانت <math>q_{1}\in E(P)</math> و<math>q_{2}\in E(\{q_{1}\})</math> فإن <math>q_{2}\in E(P)</math>

لتكن x متسلسلة من الأبجدية Σ∪{ε}، وليكن M نموذج NFA-ε، يقبل M المتسلسلة x إذا كان يمكن تمثيل x \على هيئة x1x2... xn، بحيث xi ∈ (Σ ∪{ε}) ، ويوجد سلسلة من الحالات p0,p1,..., pn, حيث pi ∈ Q ترضي الشروط الآتية:
# ''p<sub>0</sub>'' <math>\in</math> E({''q<sub>0</sub>''})
# ''p<sub>i</sub>'' <math>\in</math> E(''T''(''p<sub>i-1</sub>'', ''x<sub>i</sub> '')) for ''i'' = ''1,..., n''
# ''p<sub>n</sub>'' <math>\in</math> ''F''.

== التنفيذ ==
يوجد عدة طرق لتنفيذ نموذج NFA:
* التحويل لـDFA المكافئ له، قد يؤدي هذا في بعض الأحيان إلى زيادة أسية في حجم النموذج وبالتالي مساحة إضافية تتناسب طرديا مع عدد حالات الـNFA (حيث يحتاج تخزين قيمة الحالة بت واحدة على الأكثر لكل حالات الـNFA)
* الاحتفاظ ببنية بيانات لتمثيل مجموعة تضم كل الحالات التي يمكن أن تكون الماكينة فيها في الخطوة الحالية، وبعد استخدام آخر رمزإن كانت واحدة من هذه الحالات نهائية فالماكينة تقبل المتسلسلة. قد يتطلب هذا في أسوأ الأحوال مساحة إضافية تتناسب مع عدد حالات الـNFA، وإذا كانت بنية بيانات المجموعة تستخدم بت واحدة لكل حالة، فهذا الحل مماثل تماما للحل السابق.
* عمل نسخ متعددة. لكل قرار يؤدي إلى n اتجاه يقوم الـNFA بعمل n-1 نسخة من الماكينة، كل منهم تدخل حالة منفردة، وبعد استخدام آخر رمز إذا كانت نسخة واحدة على الأقل تقف في حالة قبول فالـNFA يقبل المتسلسلة (وهذا أيضا يتطلب مساحة تتناسب خطيا مع عدد حالات الـNFA ، حيث يمكن أن يوجد ماكينة لكل حالة)
* توزيع العلامات مباشرة أثناء عملية الانتقال في الـ NFA والمطابقة حين تصل أحد العلامات إلى حالة نهائية، قد يفيد هذا حين ينبغي أن يحتفظ الـNFA بمعلومات إضافية عن العمليات التي أدت إلى انتقال معين. (للتنفيذ باستخدام هذه الطريقة للاحتفاظ بخلفية كل موقع انظر Tracematches.<ref>Allan, C., Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., and Tibble, J. 2005. [http://abc.comlab.ox.ac.uk/papers#oopsla2005 Adding trace matching with free variables to AspectJ] {{webarchive|url=https://web.archive.org/web/20090918053718/http://abc.comlab.ox.ac.uk/papers#oopsla2005 |date=18 سبتمبر 2009 }}. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (San Diego, CA, USA, October 16–20, 2005). OOPSLA '05. ACM, New York, NY, 345-364. {{استشهاد ويب |مسار=http://abc.comlab.ox.ac.uk/papers |عنوان=نسخة مؤرشفة |تاريخ الوصول=8 مايو 2011 |مسار أرشيف=https://web.archive.org/web/20090918053718/http://abc.comlab.ox.ac.uk/papers |تاريخ أرشيف=18 سبتمبر 2009 |حالة المسار=dead }}</ref>)

== مثال ==
المثال التالي يشرح نموذج الـNFA M وأبجديته ثنائية، وهو يحاول معرفة إذا كانت المتسلسلة التي تم إدخالها تحتوي على عدد زوجي من الأصفار أو عدد زوجي من الواحد (لاحظ أن الصفر عدد زوجي أيضا). ليكن
M = (Q, Σ, T, s0, F) حيث
* Σ = {0, 1},
* Q = {s0, s1, s2, s3, s4},
* E({s0}) = { s0, s1, s3 }
* F = {s1, s3}, and
* يمكن تعريف دالة الانتقال T بجدول الانتقال بين الحالات التالي:
{| border="0" cellpadding="1" align="center"
|
|<div style="text-align: center;">'''0'''</div>
|<div style="text-align: center;">'''1'''</div>
|<div style="text-align: center;">'''ε'''</div>
|-
|<div style="text-align: center;">'''''S''<sub>0</sub>'''</div>
|<div style="text-align: center;">{}</div>
|<div style="text-align: center;">{}</div>
|<div style="text-align: center;">{''S''<sub>1</sub>, ''S''<sub>3</sub>}</div>
|-
|<div style="text-align: center;">'''''S''<sub>1</sub>'''</div>
|<div style="text-align: center;">{''S''<sub>2</sub>}</div>
|<div style="text-align: center;">{''S''<sub>1</sub>}</div>
|<div style="text-align: center;">{}</div>
|-
|<div style="text-align: center;">'''''S''<sub>2</sub>'''</div>
|<div style="text-align: center;">{''S''<sub>1</sub>}</div>
|<div style="text-align: center;">{''S''<sub>2</sub>}</div>
|<div style="text-align: center;">{}</div>
|-
|<div style="text-align: center;">'''''S''<sub>3</sub>'''</div>
|<div style="text-align: center;">{''S''<sub>3</sub>}</div>
|<div style="text-align: center;">{''S''<sub>4</sub>}</div>
|<div style="text-align: center;">{}</div>
|-
|<div style="text-align: center;">'''''S''<sub>4</sub>'''</div>
|<div style="text-align: center;">{''S''<sub>4</sub>}</div>
|<div style="text-align: center;">{''S''<sub>3</sub>}</div>
|<div style="text-align: center;">{}</div>
|}

مخطط الحالات لـ M:
:[[ملف:NFAexample.svg|300px]]

يمكن اعتبار M اتحاد لنموذجي DFA: واحد يضم الحالات {S1, S2} والآخر يضم {S3, S4}.
يمكن وصف اللغة النمطية التي يقبلها M بهذا التعبير النمطي:

== تطبيقات NFA-ε ==
يتساوى NFA وDFA حيث أن اللغة التي يتعرف عليها نموذج NFA يتعرف عليها أيضا نموذج DFA والعكس صحيح. إثبات هذا التساوي أمر هام ومفيد، مفيد لأن إنشاء NFA للتعرف على لغة ما يكون أحيانا أسهل من إنشاء DFA للتعرف على نفس اللغة، وهام لأنه يمكن استخدام نماذج الـNFA للتقليل من التعقيد الرياضي المطلوب لإثبات عدد من الخصائص الهامة في [[علم الحاسوب النظري|نظرية الحوسبة]]، مثلا إثبات الخصائص الآتية أسهل كثيرا باستخدام الـNFA عن الـ DFA:
* اتحاد لغتين نمطيتين هو لغة نمطية
* مسلسل لغتين نمطيتين هي لغة نمطية
* نجمة كليين لأي لغة نمطية هي لغة نمطية

<math>(1^*(01^*01^*)^*) \cup  (0^*(10^*10^*)^*) </math>

== ملاحظات ==

{{مراجع}}
{{تصنيف كومنز|Finite state machine}}
{{شريط بوابات|علم الحاسوب|لغات مصطنعة|رياضيات}}

[[تصنيف:نظرية قابلية الحساب]]
[[تصنيف:نماذج حاسوبية]]