CS441 : نظرية الاتمتة واللغات الصيغية

القسم العلمي

قسم الحاسب الآلي

البرنامج الدراسي

بكالوريوس في علوم الحاسب الآلي

نوع المقرر

إختياري

الوحدات

04

الاسبقيات

CS200

نظرة عامة

  • تعليم الطالب بالمفاهيم الأساسية لتصميم الأوتماتا (Automata) بمواصفات مسبقة بأقل عدد من الحالات (بأصغر حجم)
  • اكساب الطالب مهارة في وصف التعابير والفئات المنتظمة (Regular expressions and sets) وقواعد خرج السياق (Context free Grammar) بهدفبناء مترجمات للغات برمجة (موجودة او مستحدثه)
  • تمكين الطالب من تصميم لغة برمجة جديدة بناءً على ما درسه من قواعد اللغاتباستخدام الأوتماتا و اللغات خارج السياق(Context free languages) و آلة تورنع(Turing Machine).

المخرجات التعليمية المستهدفة من دراسة المقرر

‌أ. المعرفة والفهم

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

الذكاء الاصطناعي (CS456)
البرمجة الشيئية باستخدام الجافا (CS439)
البرمجة المرئية (CS435)
تصميم مترجم (CS432)
تنظيم حاسب 2 (CS440)
برمجة الويب 2 (CS416)
هندسة الويب (CS412)
إدارة المشاريع (CS411)
تصميم وتطوير تطبيقات الأجهزة المحمولة (CS410)
نظرية الاتمتة واللغات الصيغية (CS441)
بحوث العمليات (CS442)
تحليل عددي (CS448)
لغة انجليزية 1 (EL101)
رياضة 1 (MA100)
هندسة تحليلية مستوية (MA101)
مقدمة في الإحصاء (ST101)
أساسيات البرمجة (CS100)
لغة عربية 1 (AR051)
رياضة 2 (MA102)
هندسة تحليلية فراغية (MA103)
فيزياء عامة 1 (PH112)
مقدمة في الاحتمال (ST102)
البرمجة الهيكلية I (CS111)
لغة عربية 2 (AR052)
التركيبات المتقطعة (CS200)
تنظيم الحاسب الآلي (CS207)
البرمجة الهيكلية 2 (CS214)
البرمجة بلغة الاسمبلي (CS211)
البرمجة الشيئية (CS215)
لغة انجليزية 2 (EL102)
هياكل بيانات وخوارزميات1 (CS331)
برمجة الويب (CS315)
تحليل وتصميم النظم (CS319)
طرق عددية (CS323)
هياكل بيانات وخوارزميات2 (CS332)
لغات البرمجة (CS336)
أمن نظم الحاسب (CS340)
شبكات الحاسب الآلي (CS343)
نظم تشغيل (CS437)
برمجة نظم (CS431)
قواعد البيانات (CS436)
مشروع تخرج (CS450)
استرجاع المعلومات (CS444)
هندسة البرمجيات (CS438)