BAU501
أوتومات ولغات صورية
Automata & Formal Languages
5 نقطة اعتماد
الفصل الخامس
مقررات أساسية
مقرر أساسي في هندسة المعلوماتية يغطي مفاهيم جوهرية مشتركة بين جميع الاختصاصات.
المتطلبات السابقة المباشرة
مقررات تعتمد على هذا المقرر
كامل سلسلة المتطلبات السابقة
-
الرياضيات المتقطعة
Discrete Mathematics
BDM501 · 5 نقطة
الدارات المنطقية
Logical Circuits
BLC401 · 5 نقطة
بنى جبرية
Algebraic Structures
BAS401 · 5 نقطة
بنى المعطيات والخوارزميات (1)
Data Structures and Algorithms I
BDA501 · 6 نقطة
برمجة (2)
Programming II
BPG402 · 5 نقطة
برمجة (1)
Programming I
BPG401 · 5 نقطة
توصيف المقرر
أهداف المقرر
يعتبر مقرر «أوتومات ولغات صورية» من المواد الأساسية في معارف المهندس المعلوماتي العملية، والتي ستسمح للطالب بالتعرف على أنواع اللغات وبناء آلات أتومات لها. تتحدث المادة بشكل عام عن اللغات الصورية التي تشمل جميع اللغات التي نتعامل معها، سواء اللغات الطبيعية أو لغات البرمجة، وتعالج مفاهيم هذه اللغات والنماذج التي توصفها (الأتومات) بشيء من التبسيط، باعتبارها مقدمة لمواد أخرى أعقد وأهم مثل المترجمات في السنوات العليا.
النتائج التعليمية المرجوة
- تعلّم أساسيات اللغات المنتظمة وخواصها
- تصميم وبناء نماذج الأتومات المنتهية بأنواعها
- اكتساب مهارة توصيف اللغات المنتظمة بكافة أنواع نماذج الأتومات المنتهية
- تعلّم آلية قبول سلسلة ضمن أتومات منتهٍ
- تعلّم التكافؤ بين اللغات المنتظمة وأنواع الأتومات المنتهي
- اكتساب مهارة اختصار أي أتومات منتهٍ إلى أتومات منتهٍ أصغري
- تعلّم أساسيات القواعد خارج السياق
- تعلّم آليات الاشتقاق وقبول سلسلة
- تصميم وبناء نموذج أتومات بمكدس
- اكتساب مهارة توصيف اللغات خارج السياق بنموذج أتومات بمكدس
- تعلّم طرق تبسيط اللغات خارج السياق للصيغ المعيارية مثل صيغة تشومسكي
- تعلّم آليات وخوارزميات قبول سلسلة إلى لغة ما خارج السياق
مفردات المقرر (الفصول)
| # | عنوان الفصل | محتوى الفصل |
|---|---|---|
| CH1 | مقدمة في الأتومات واللغات الصورية | 1. مقدمة: الأبجدية، اللغة 2. العمليات على اللغات 3. انتماء سلسلة محارف ما إلى لغة معينة 4. التعابير المنتظمة 5. تمارين تعابير منتظمة |
| CH2 | نموذج أتومات منتهٍ حتمي | 1. الأتومات المنتهي 2. الأتومات المنتهي الحتمي 3. قبول سلسلة وقبول لغة 4. تمارين أتومات منتهٍ حتمي |
| CH3 | نموذج أتومات منتهٍ لا حتمي | 1. أتومات منتهٍ لا حتمي 2. قبول سلسلة وقبول لغة 3. تحويل أتومات منتهٍ لا حتمي إلى أتومات منتهٍ حتمي 4. تمارين أتومات منتهٍ لا حتمي 5. تمرين تحويل |
| CH4 | التكافؤ بين أنواع الأتومات والتعابير المنتظمة | 1. التكافؤ بين أنواع الأتومات والتعابير المنتظمة 2. تحويل تعبير منتظم إلى أتومات منتهٍ لا حتمي 3. تحويل أتومات منتهٍ إلى تعبير منتظم 4. الأتومات المنتهي الحتمي الأصغري 5. تمرين أتومات منتهي حتمي أصغري |
| CH5 | خواص اللغات المنتظمة | 1. خواص اللغات المنتظمة 2. خوارزميات اتخاذ القرار للغات المنتظمة 3. توطئة الضخ |
| CH6 | النموذج القواعدي خارج السياق | 1. القواعد خارج السياق 2. كتابة نموذج قواعدي لتوليد لغة محددة 3. معرفة اللغة التي يولّدها نموذج قواعدي 4. الاشتقاق 5. الغموض 6. خصائص اللغات خارج السياق 7. خوارزميات اتخاذ القرار للغات خارج السياق |
| CH7 | صيغة تشومسكي المعيارية | 1. اختصار قواعد ε 2. اختصار القواعد الأحادية 3. اختصار الرموز العديمة الفائدة 4. القواعد الثنائية |
| CH8 | الأتومات ذات المكدس PDA | 1. الأتومات ذات المكدس 2. تحويل من CFG إلى PDA |
معلومات عن الامتحان
أتمتة
هذه المعلومة مبنية على فصول سابقة وقد تُغيّرها الجامعة في أي وقت — تأكد منها مع مدرّس المقرر قبل الامتحان.
مدرّسو المقرر
حيان حسن
t_hayhasan@svuonline.org
دعاء قرضاب
t_dkordab@svuonline.org
عمران دلول
t_adalloul@svuonline.org
نضال شمعون المنسّق
t_nchamoun@svuonline.org
إحصائيات المقرر
جارٍ التحميل…