2. الال ت ذاتية الحركة غير المحددة توغير المحددة
تذكر أنه في الالت ذاتية الحركة المحددة DFAلكل مدخل
دُ
على حالة فإن الحالة الناتجة محددة حصريا.
.ً
أما إذا كان هناك خيار لتحديد أكثر من حالة يمكن الذهاب
إليها في حال توجود مدخل ما، فاللة الناتجة تسمى آلة ذاتية
دُ
الحركة غير محددة NFA
إن مفهوم اللة غير المحددة هو تعميم لللة المحددة. أي أن
أي آلة ذاتية الحركة محددة هي في نفس الوقت آلة ذاتية
الحركة غير محددة أيضا.
.ً
3. الال ت ذاتية الحركة غير المحددة توغير المحددة
نقول عن آلة ذاتية الحركة أنها غير محددة إذا كان:
– توجود مدخل لحالة ما قد يتسبب في االنتقال إلى أكثر من حالة.
دُ
– أتو إذا كانت هناك انتقاالت ، أي انتقال من حالة إلى
أخرى دون أن يكون هناك مدخل. وعندها يرمز لللة
).(NFA-ε
5. مثال 2NFA N
1,0
0,1 1,0
1q
1
2q 3q 4q
افرض اللغة Aتحتوي على أي متسلسلة على الجبجدية }1,0{ جبحيث يكون هناك
1 في الموضع الثالث من نهاية المتسلسلة. اللة 2 Nتتعرف على اللغة .A
21. تابع مثال 3
a,b a b
φ }1{ }2{ }2,1{
a,b
b b a
b
a
a
a
}3{ a }3,1{ }3,2{ }3,2,1{
b
b
ملحظة: هذا الحل يضم حال ت ل يمكن الوصول إليها، وبالتالي يمكن اختصارها
Notas del editor
تستخدم الـ NFA-ε عندما لا نكون متأكدين في أي حالة نحن الآن. وبالإمكان تحويل أي NFA-ε إلى NFA