2. ماهي نظرية التوتوماتا
عندما نتحدث عن اللت هنا فنحن نقصد آلت بالمفهوم
المجرد توليس اللت المادية
اللة ذاتية الحركة Automatonهو جهاز يتعر ف على أتو
فّ
يقبل عناصر محددة من مجموعة *∑ )حيث ∑ هي أبجدية
محدتودة(
أي مجموعة جزئية من *∑ هي لغة. اللغة على *∑ التي
تتشكل من كلمات تقبل بها اللة ذاتية الحركة Mهي لغة
يشار لها بالرمز (M(L
4. الال ت ذاتية الحركة المحددة DFA
الال ت ذاتية الحركة المحددة : deterministic automaton
يتم تعيين هذه اللة عبر تحديد الحاال ت والتبجدية والحالة االتبتدائية
والحاال ت النهائية المقبولة ودالة االتنتقال
5. الال ت ذاتية الحركة المحددة DFA
وتبالتالي لتعيين اللة ذاتية الحركة المحددة تنحتاج للرموز
التالية: ) (Q,Σ,q0,δ,Fحيث:
– Qهي مجموعة منتهية من الحاال ت
– )Σهي أتبجدية منتهية ) ومن ضمنها ستكون رموز المدخل
دُ
– 0 qهي الحالة الولى لللة قبل أي مدخل وهي تنتمي لمجموعةQ
دُ
– δهي دالة االتنتقال من حالة لخرى وفق المدخل أي أن
دُ
δ: Q × Σ → Q
– Fهي مجموعة الحاال ت النهائية أي الحاال ت المقبولة وهي
مجموعة محتواة فيQ
6. الال ت ذاتية الحركة المحددة DFA
مثال: قم تبرسم دالة االتنتقال δالتي يعبر عنها الجدول التالي:
7. الال ت ذاتية الحركة المحددة DFA
أفضل طريقة للتعبير عن الال ت ذاتية الحركة هي باستخدام
مخطط الحالة state diagram
9. الال ت ذاتية الحركة المحددة DFA
تمرين 1: ما هي الكلما ت التي تسمح بها اللة ذاتية الحركة
التالية
10. الال ت ذاتية الحركة المحددة DFA
تمرين 2: ما هي الكلما ت التي تسمح بها اللة ذاتية الحركة
التالية
11. الال ت ذاتية الحركة المحددة DFA
تابع تمرين 2: للاجابة على التمرين يفض ل أن نقوم بتبسيط
لّ
مخطط الحالة السابق إلى:
12. اللغة التي تقب ل بها آلة ذاتية الحركة محددة DFAستكون
بطبيعة الحال لغة نمطية Regular Language
بعض اللغا ت ال يمكن التعبير عنها باستخدام آلة ذاتية الحركة
محددة DFAوبالتالي تعتبر لغا ت غير نمطية. مث ل ماذا ؟؟؟
Notas del editor
* كلمة Automaton جمعها Automata
الحرف اليوناني Σ ينطق سيجما الحرف اليوناني δ ينطق دلتا
The only words accepted are b and abc. Therefore the expression for the language accepted is b U abc
يظهر من هذا المخطط أن اللغة التي تقبل بها هذه الآلة هي ab أو ac أو بعبارة أخرى a(b U c)
لغات غير نمطية مثل L 1 = {0 n 1 n | n ≥ 1} أو L 2 = {w | w in {(, )}* حيث الأقواس في هذه السلسلة متزنة }