فهرست مندرجات

نظریه‌ی زبان‌ها و اتوماتا - نیم‌سال دوم ۱۴۰۰

مدرس ایمیل
دکتر شهرام خزایی shahram.khazaei@gmail.com

بارم‌بندی و منابع درس

مرجع اصلی

Introduction to Automata Theory, Languages, and Computation: Hopcroft, Motwani, Ullman. Pearson New International Edition

مراجع کمکی

Introduction to Languages and the Theory of Computation: John C. Martin

Introduction to the Theory of Computation: Michael Sipser

جزوات درس

از طریق لینک زیر می‌توانید به جزوات درس دسترسی داشته باشید.

توجه:

بارم‌بندی

انتظار می‌رود که هدف از اخذ این درس کسب دانش باشد و هدف اصلی دانشجویان در کسب نمره خلاصه نشده باشد. نمره ملاک نه چندان کاملی از اندوخته‌های شماست. در این راستا بارم درس به شرح زیر است:

جدول زمانی و محتوای درس

درس نظریه‌ی زبان‌ها و اتوماتا مقدمه‌ای است برای آشنایی با تئوری علوم کامپیوتر و پیشنیازی برای درس‌های پیشرفته‌تر این حوزه مانند نظریه‌ی محاسبه، نظریه‌ی پیچیدگی محاسبه و نظریه‌ی علوم کامپیوتر.

محتوای اصلی درس آشنایی با سلسله مراتب چامسکی (به‌طور خاص زبان‌های منظم، مستقل از متن و R.E. و مدل‌های محاسبه با تاکید بر فراگیری مفاهیم اصلی و تبدیل مدل‌ها به یکدیگر است.

در جدول زیر می‌توانید زمان‌بندی تقریبی موضوعات درس را مشاهده کنید.

موضوع شماره‌ی جلسات
آشنایی با مدل DFA جلسات ۱ تا ۳
آشنایی با مدل NFA جلسات ۴ تا ۶
آشنایی با عبارات منظم جلسات ۷ و ۸
کلاس زبان‌های منظم و ویژگی‌های آن‌ها جلسات ۹ تا ۱۳
گرامر‌های مستقل از متن و ویژگی‌های آن جلسات ۱۴ تا ۱۸
آشنایی با مدل PDA جلسات ۱۹ و ۲۰
کلاس زبان‌های مستقل از متن ویژگی‌های آن جلسات ۲۱ تا ۲۳
مدل محاسباتی تورینگ جلسات ۲۴ و ۲۵
کلاس زبان‌های R.E. ، تصمیم‌پذیری و تحویل جلسات ۲۶ تا ۲۸

راه‌های ارتباطی

دستیاران آموزشی (به‌ترتیب حروف الفبا)

نام و نام خانوادگی راه ارتباطی (ایمیل)
علی الماسی (سردستیار) ali79almasi@gmail.com
آرمیتا جلالیون 1380armita@gmail.com
شیدا رابطی shrabeti8001@gmail.com
سروش زارع ihaveint@gmail.com
سید امیرمحمد سادات‌شکوهی sam.sadat.shokouhi@gmail.com
شایان طاهری‌جم sh.taherijam@gmail.com
امید یعقوبی deopenmail@gmail.com

اطلاعات برگزاری کلاس‌ها

کلاس درس در روزهای یکشنبه و سه‌شنبه از ساعت ۱۷ الی ۱۹ توسط استاد درس در سامانه‌ی کلاس‌های مجازی برگزار می‌شود اما تلاش می‌شود که امکان حضور تعداد معدودی از دانشجویان فراهم شود.

همچنین کلاس‌های حل‌تمرین در دو گروه (با محتوای مشابه) و با تمرکز بر حل مسئله، توسط دستیاران درس برگزار خواهد شد.

تمرین‌ها

همانطور که در قسمت قبل اعلام شد، در طول ترم ده سری تمرین خواهید داشت. تاریخ آپلود تمرین‌ها را می‌توانید در جدول زیر مشاهده کنید. توجه کنید که پاسخ‌نامه‌ی تمرین‌ها به‌طور منظم و بعد از هر تمرین در اختیارتان قرار نمی‌گیرد. (ممکن است پیش از امتحان پایانی، پاسخنامه‌هایی متشکل از پاسخ‌های درست خودتان در اختیارتان قرار گیرد.) در عوض، با شرکت در جلسات حل‌‌تمرین می‌توانید راه‌حل کامل تمرین‌های تحویلی را یاد بگیرید.

شماره‌ی تمرین تاریخ انتشار تاریخ تحویل
سری صفر ۷ اسفند ۱۶ اسفند
سری یک ۱۷ اسفند ۲۶ اسفند
سری دو ۲۷ اسفند ۱۳ فروردین
سری سه ۱۴ فروردین ۲۶ فروردین
سری چهار ۲۷ فروردین ۹ اردیبهشت
سری پنج ۱۰ اردیبهشت ۱۹ اردیبهشت
سری شش ۲۰ اردیبهشت ۲۹ اردیبهشت
سری هفت ۳۰ اردیبهشت ۹ خرداد
سری هشت ۱۰ خرداد ۲۰ خرداد
سری نه ۲۱ خرداد ۳۱ خرداد

رعایت اصول اخلاقی

در جهت رعایت آداب و اصول اخلاقی لطفا نکات زیر را رعایت نمایید.

پایان‌ترم

امتحان پایان‌ترم در تاریخ 5 تیرماه 1401 ساعت ۱۵:۳۰ بعدازظهر برگزار می‌گردد.

توجه: تا یک‌ماه بعد از آزمون پایان‌ترم، در صورت نیاز، در موارد نادری ممکن است دانشجویان دعوت به آزمون شفاهی شوند، که در این صورت نمره نهایی آنهایی متاثر از این آزمون خواهد بود.