زمان تشکیل کلاس‌ها در طول هفته: یک‌شنبه و سه‌شنبه ساعت ۹:۰۰ تا ۱۰:۳۰

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

John C. Martin, «Introduction to Languages and the Theory of Computation (Forth Edition)», McGraw-Hill Education, 2010.

محتوی اصلی این درس آشنایی با سلسله­ مراتب چامسکی و مدل­‌های استاندارد محاسبه با تاکید بر فراگیری مفاهیم اصلی، انجام محاسبات، و توانایی تبدیل مدل‌­ها است.

• حضور و مشارکت فعال در کلاس درس.
• تاثیر آزمون میان‌ترم: حدود 40 درصد.
• تاثیر آزمون پایان‌ترم: حدود 60 درصد.
• تمرین‌هایی برای حل مشخص می‌­شوند که با زمان‌بندی از پیش تعیین شده اعلام و تحویل گرفته خواهند شد.

محل آزمون‌های میان نیم‌سال و پایان نیم‌سال متعاقبا اعلام خواهد شد.