ChatDiagram
الأدوات/أداة رسم مخططات NFA

أداة رسم مخططات NFA

أنشئ مخطط NFA بوصف اللغة أو الأبجدية أو التعبير المنتظم. يرسم مولّد NFA الحالات والانتقالات المسمّاة وانتقالات epsilon والحالات النهائية بصيغة مخطط الحالات القياسية.

مخطط حالاتاضغط Enter للإرسال

حساب مجاني، بلا بطاقة ائتمان · تصدير بصيغ SVG أو PNG أو PDF

شاهد كيف يعمل

أمثلة على مخططات NFA

أداة واحدة، أربعة طلبات. كل رسم أدناه ناتج فعلي.

ما تكتبه
ارسم NFA على a وb يقبل تمامًا السلاسل التي تنتهي بـ ab: تكرّر q0 الانتقال على a وb، ويمكن لـ q0 الانتقال إلى q1 عند قراءة a، ثم ينتقل q1 إلى q2 النهائية عند قراءة b.
ثم جرّبأضف حالة ميتة لإدخال مكتمل تم رفضه.غيّر اللاحقة المستهدفة من ab إلى ba.
مخطط حالات: سلاسل تنتهي بـ ab
مخطط حالات · OMG UML 2.5.1 §14 + Harel (1987) statechart · schematex-state
الرسم

ما هو مخطط NFA؟

مخطط NFA هو مخطط حالات لأوتوماتا محدود غير حتمي. تمثّل الدوائر الحالات، وتمثّل الأسهم الانتقالات، ويحدّد السهم الوارد حالة البدء، بينما تشير الدائرة المزدوجة إلى حالة نهائية.

بخلاف DFA، يمكن لـ NFA تنفيذ أكثر من انتقال واحد عند رمز الإدخال نفسه، كما يمكنه استخدام انتقالات epsilon التي لا تستهلك أي إدخال. تُقبل السلسلة عندما ينتهي مسار محتمل واحد على الأقل في حالة نهائية.

Standard
OMG UML 2.5.1 §14 + Harel (1987) statechart
Engine
schematex-state
Editable
Double-click text, drag nodes
Export
SVG · PNG · PDF
مخطط حالات: ما هو مخطط NFA؟
من يستخدمه

من يستخدم مخططات NFA؟

مخطط حالات: طلاب علوم الحاسوبطلاب علوم الحاسوب

تمارين اللغات المنتظمة التي توضّح كيفية تعرّف آلة على لاحقة أو بادئة أو سلسلة فرعية.

مخطط حالات: مدرّسو نظرية الحوسبةمدرّسو نظرية الحوسبة

إنشاءات صغيرة لـ epsilon-NFA تجعل اتحاد التعبير المنتظم واضحًا في ملاحظات الدرس.

مخطط حالات: مصمّمو اللغات والمحلّلاتمصمّمو اللغات والمحلّلات

بادئات الرموز البديلة المرسومة كفروع قبل تحويلها إلى تطبيق عملي.

كيف يعمل

كيفية إنشاء مخطط NFA في ثلاث خطوات

01

صِفه

تكفي فقرة واحدة للبدء.

“ارسم NFA على a وb يقبل تمامًا السلاسل التي تنتهي بـ ab: تكرّر q0 الانتقال على a وb، ويمكن لـ q0 الانتقال إلى q1 عند قراءة a، ثم ينتقل q1 إلى q2 النهائية عند قراءة b.”
02

شاهد الرسم

يرسمه المحرّك المناسب.

مخطط حالات: سلاسل تنتهي بـ ab
03

حدّد ما تريد تغييره

تُحفظ نسخة مع كل تعديل.

أضف حالة ميتة لإدخال مكتمل تم رفضه.
V2 · DRAWN FROM V1, NOTHING RETYPED
الأسئلة الشائعة

أسئلة شائعة

ما هو NFA؟

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

ما الفرق بين NFA وDFA؟

يملك DFA حالة تالية واحدة لكل حالة ولكل رمز إدخال. أما NFA فيمكنه التفرّع إلى عدة حالات، كما يمكن أن يتضمن انتقالات epsilon، لكن كليهما يتعرّف على الفئة نفسها من اللغات المنتظمة.

ما هو انتقال epsilon؟

يغيّر انتقال epsilon الحالة من دون استهلاك محرف من الإدخال. ويُستخدم عادةً لضم الفروع أو تقسيمها عند إنشاء NFA من تعبير منتظم.

كيف تُمثّل الحالات النهائية؟

تُمثّل الحالة النهائية، أو حالة القبول، بدائرة مزدوجة. ولا تقبل الآلة إلا إذا انتهى أحد المسارات في تلك الحالة بعد قراءة الإدخال بالكامل.

هل يمكنني إنشاء NFA من تعبير منتظم؟

نعم. صِف التعبير وأبجديته، ثم اذكر أي تجميع أو تفرّع تريد إظهاره بوضوح في مخطط الحالات.

أدوات ذات صلة

رسومات أخرى للمهمة نفسها.

ارسم أول مخطط NFA الآن.

حساب مجاني، ومن دون بطاقة. صِف اللغة وشاهد مخطط الحالات في أقل من دقيقة.

افتح المحرّر