منبع درسی: P. Linz, An Introduction to Formal Languages and Automata, 5ed, 2011.

نمرات درس

زمان و محل کلاس:

یکشنبه 16 تا 18 و دوشنبه 18 تا 20، کلاس 17 دانشکده مهندسی ساتر

نمره دهی:

نمرات میانترم

میانترم 6، پایانترم 6، کلاسی 8 (حل تمرین، کوییز، تکلیف، پروژه، حضور)

به دلیل اهمیت حضور در کلاس، در این نیمسال حضور و غیاب دانشجویان محترم به صورت سیستمی انجام می‌شود. چنانچه بعد از چند جلسه غیبت، سیستم به صورت خودکار دانشجویی را حذف کرد دیگر نمیتوان کاری کرد!

حل تمرین:

کلاسهای حل تمرین این درس توسط خانم یاوری برگزار خواهد شد. 
زمان این کلاس روزهای دوشنبه ساعت 12:30 تا 14 است.

 

مرور جلسات

یکشنبه 1 مهر 97: مرور درس

دوشنبه 2 مهر 97: مفاهیم مجموعه، گراف، تعیین روز حل تمرین

یکشنبه 8 مهر 97: درخت، استقزا،

دوشنبه 9 مهر 97: کوییز (برگزار شد)، زبان، گرامر، ماشین

یکشنبه 15 مهر 97: آتوماتا

دوشنبه 16 مهر 97: آتوماتای متناهی

یکشنبه 22 مهر 97: زبانهای منظم

دوشنبه 23 مهر 97: آتوماتای متناهی غیرقطعی

یکشنبه 29 مهر 97: عبارت منظم

دوشنبه 30 مهر 97: عبارت منظم- ادامه

یکشنبه 6 آبان 97: کوییز، تعیین زمان امتحان میانترم، گرامر منظم:

دوشنبه 7 آبان 97: کلاس تشکیل نمیشود

یکشنبه 13 آبان 97:  گرامر منظم

سه شنبه 14 آبان 97: گرامر منظم

یکشنبه 20 آبان 97: خواص زیانهای منظم

دوشنبه 21 آبان 97: خواص زیانهای منظم

یکشنبه 27 آبان 97: زبان و گرامر مستقل از متن، گرامر ساده

دوشنبه 28 آبان 97: ساده‌سازی گرامر و فرمهای نرمال

یکشنبه 4 آذر 97: تعطیل رسمی

دوشنبه 5 آذر 97: میانترم {تحویل تکلیف دوم}

یکشنبه 11 آذر 97: ساده‌سازی گرامر و فرمهای نرمال

دوشنبه 12 آذر 97: الگوریتم CYK

یکشنبه 18 آذر 97: ماشین پشته ای

دوشنبه 19 آذر 97: ماشین پشته ای (کوییز)

یکشنبه 25 آذر 97:

دوشنبه 26 آذر 97:

یکشنبه 2 دی 97:

دوشنبه 3 دی 97: (تحویل تکلیف سوم)

یکشنبه 9 دی 97: رفع اشکال

تکالیف

تکلیف اول: موعد تحویل 21 آبان 97. به صورت دستنویس و در کلاس

تکلیف دوم: موعد تحویل 5 آذر 97، به صورت دستنویس و در کلاس

تکلیف سوم: موعد تحویل 3 دی 97، به صورت دستنویس و در کلاس

تکلیف چهارم: موعد تحویل روز امتحان پایانترم، به صورت پرینت شده سر جلسه امتحان

فایل پی دی اف کتاب در کانال تلگرامی درس بارگزاری شده است.