1 |
تعريف الطالب بالمفاهيم الأساسية لتصميم الأوتماتا بمواصفات معينه. |
2 |
المام الطالب بقواعد اللغات , تصنيفها , خواصها, وامكانياتها. |
3 |
التعرف علي طرق تصميم قواعد للغات برمجة جديدة. |
ب. المهارات الذهنية
1 |
بناء مهارات نظرية الاوتماتا وانواعها. |
2 |
مقارنة تركيبات التعابير والفئات المنتظمة المختلفةوطرق معالجتها |
3 |
اكتساب خبرة في نظرية الاتمتة واللغات خارج السياق وأسلوب التعامل معها باستخدام آلة تورينغ. |
ج. المهارات العملية والمهنية
1 |
استخدم الأوتماتا والتعابير المنتظمة في وصف اللغات. |
2 |
امكانية التعرف على خواص التعابير والفئات المنتظمة وقواعد اللغات. |
3 |
تصميم قواعد للغات برمجة جديدة وبمتطلبات معينةبالاستعانة بآلة تورينغ |
د. المهارات العامة والمنقولة
1 |
قدرة الخريج علي العمل في مجموعات |
2 |
التعامل مع الحاسب و المترجمات و الحزم الجاهزة |
3 |
مهارات التواصل التحريرية و الشفهية العلمية المبنية على أسس صحيحة |
طرق التعلم والتعليم
- المحاضرات النظرية
- حلقات النقاش
- ساعات مكتبية
طرق التقييم
رقم التقييم |
أساليب التقييم |
مدة التقييم |
وزن التقييم |
النسبة المئوية |
تاريخ التقييم (الأسبوع) |
التقييم الأول |
الامتحانالأول |
ساعتان |
4-5 اسئلة |
15% |
الأسبوع 5 |
التقييم الثاني |
الامتحانالثاني |
ساعتان |
5_6 اسئلة |
20% |
الأسبوع 10 |
التقييم الثالث |
واجبات ومشاريع |
علي طول الفصل |
|
15% |
بداية الأسبوع 3 |
التقييم النهائي |
الامتحان النهائي |
ساعتان |
5-6 اسئلة |
50% |
الأسبوع 16 |
المجموع |
100 درجة |
100% |
|
محتوى المقرر
الاسبوع |
الموضوع العلمي |
الساعات |
محاضرة |
1 |
INTRODUCTION
o Strings, alphabet ,languages, graphs, trees, set notation, and relations.
|
4 |
4 |
2-3 |
FINITE AUTOMATOA AND REGULAR EXPRESSIONS: o Basic definitions, deterministic and nondeterministic finite automata, finite automata with Î-move, regular expressions, finite automata with output, and application to finite automata.
|
8 |
8 |
4-6 |
PROPERTIES
OF REGURLA SETS
o The pumping lemma for regular sets, closure properties of regular sets, decision algorithms for regular sets, and minimization of finite automata.
|
12 |
12 |
7-9 |
CONTEXT
FREE GRAMMARS AND PUSH DOWN AUTOMATA
o Motivation and introduction, context-free grammars, derivation trees, ambiguity of context free grammars, Chomsky and Greibach normal forms, push down automata.
|
12 |
12 |
10-11 |
PROPERTIES
OF CONTEXT FREE LANGUAGES
o Pumping lemma for context free languages, closure properties of context free languages, Decision algorithms for context free languages.
|
8 |
8 |
12-14 | TURING MACHINE The Turing machine model, computable languages andfunctions, techniques of Turing machine construction |
12 |
12 |
المراجع
عنوان المراجع |
الناشر |
النسخة |
المؤلف |
, Automata Theory Languages and Computation |
Addison Wesley Publishing Company. |
|
John E. Hopcroft, Rajeev Motwani, and Jeffery Ullman |
Introduction to the theory of Computation |
PWS Publishing Company |
|
MichealSipser |
Machine, Languages, and Computation |
Prentice Hall Publishing Company. |
|
Peter J. Denning, Jack B. Dennis, and Joseph E. Qualitz |