Automata 5
Download as PPT, PDF1 like2,843 views
تتناول الوثيقة نظرية التوتوماتا، وتشرح الفرق بين الآلات الذاتية الحركة المحددة (DFA) وغير المحددة (NFA). كما تقدم أمثلة توضيحية لتحويل NFA إلى DFA وتفاصيل حول خصائص كل نوع من الآلات. تشمل المحتويات شرحًا عن الحالات الانتقالية وكيفية تحديد الألات المختلفة.
![2 تابع مثال
0 1
[q0] {q0, q1} Φ
[q1] Φ Φ
0 1
[q0] {q0, q1} Φ
[q0,q1] {q0, q1} Φ
Φ Φ Φ](https://image.slidesharecdn.com/lect5-121225112040-phpapp01/85/Automata-5-18-320.jpg)
Automata 5
- 1. نظريـة التوتومـاتـــا Automata Theory ماهي نظرية التوتوماتا الال ت ذاتية الحركة المحددة توغير المحددة جامعة المة للتعليم المفتوح م. توسام زقوت ديسمبر 2102
- 2. الال ت ذاتية الحركة غير المحددة توغير المحددة تذكر أنه في الالت ذاتية الحركة المحددة DFAلكل مدخل دُ على حالة فإن الحالة الناتجة محددة حصريا. .ً أما إذا كان هناك خيار لتحديد أكثر من حالة يمكن الذهاب إليها في حال توجود مدخل ما، فاللة الناتجة تسمى آلة ذاتية دُ الحركة غير محددة NFA إن مفهوم اللة غير المحددة هو تعميم لللة المحددة. أي أن أي آلة ذاتية الحركة محددة هي في نفس الوقت آلة ذاتية الحركة غير محددة أيضا. .ً
- 3. الال ت ذاتية الحركة غير المحددة توغير المحددة نقول عن آلة ذاتية الحركة أنها غير محددة إذا كان: – توجود مدخل لحالة ما قد يتسبب في االنتقال إلى أكثر من حالة. دُ – أتو إذا كانت هناك انتقاالت ، أي انتقال من حالة إلى أخرى دون أن يكون هناك مدخل. وعندها يرمز لللة ).(NFA-ε
- 4. NFA N1مثال 0,1 0,1 1 ε,0 q1 1 q2 q3 q4
- 5. مثال 2NFA N 1,0 0,1 1,0 1q 1 2q 3q 4q افرض اللغة Aتحتوي على أي متسلسلة على الجبجدية }1,0{ جبحيث يكون هناك 1 في الموضع الثالث من نهاية المتسلسلة. اللة 2 Nتتعرف على اللغة .A
- 6. DFAمكافئة لللة 2 Nفي المثال الساجبق 0 0 000q 0 001q 0 010q 011q 1 0 1 1 0 0 1 0 1 1 1 100q 101q 110q 111q 1
- 7. مثال 3NFA N 0 ε 0 0 ε 0 0 افرض اللغة Aتتكون من كل المتسلسل ت ، 0kحيث Kمن مضاعفا ت العدد 2 أو 3. اللة 3Nتتعرف على .A
- 8. DFAمكافئة للة 3 Nفي المثال السابق 0, 1 1-q 1 1 1 1 1 1 0q 0 １q 0 ２q 0 3q 0 4q 0 5q 0
- 9. مثال 4NFA N 1q b a ε a 2q 3q a,b لحظ أن هذه اللة تقبل مثل المتسلسل ت , a, baba, baaلكنها ل تقبل ا ً bوأو babba
- 10. مثال NFA 1,0 1,0 1 0,ε 1 1q 2q 3q 4q ,} 41. Q = {q1 , q2 , q3 , q }1,0{ = 2. Σ 0 1 ε 1q ∅ } 2{q1} {q1 , q تذكر أنه لتعيين اللة ذاتية الحركة δ 23. Δ is given as q } 3{q ∅ }3{q غير المحددة نحتاج لتعيين القيم 3q ∅ } 4{q ∅ التالية )(Q,Σ,q0,Δ,F 4q } 4{q4 } {q ∅ .4. q1 is the start state .} 45. F = {q
- 11. تحويل NFAإلى DFA
- 12. تحويل NFAإلى DFA تذكر المثالين المتكافئين من المحاضرة الماضية
- 13. تحويل NFAإلى DFA قم بتحويل اللة NFAالتالية إلى الـ DFAالمكافئة لها:
- 14. مثال:1 قم بتحويل NFAالتالية إلى DFA
- 15. تابع مثال 1
- 16. تابع مثال 1 لتقليل التنتقال ت والحال ت، يمكننا تجاهل الحال ت التي ل يمكن الوصول إليها
- 17. :مثال 2 0 0 0q 1q قم بتحويل اللة غير المحددة أعل ه إلى آلة DFAمكافئة
- 18. 2 تابع مثال 0 1 [q0] {q0, q1} Φ [q1] Φ Φ 0 1 [q0] {q0, q1} Φ [q0,q1] {q0, q1} Φ Φ Φ Φ
- 19. تابع مثال 2 0 0 }0{q }q q 1 ,0 { 1 1 Φ 0 1
- 20. مثال 3: تحويل NFA-εإلى DFA 1 b a ε a 2 a,b 3 اللة غير المحددة Nمعطاة أعل ه حيث }}3{,1, N = {{1,2,3}, {a, b}, δ قم بتحويل اللة أعل ه إلى DFA
- 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 ملحظة: هذا الحل يضم حال ت ل يمكن الوصول إليها، وبالتالي يمكن اختصارها