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

منابع درسی:

• کتاب مرجع، معرفی زبان‌های فرمال و آتوماتا نوشته پیتر لینز
• کتاب مرجع، نظریه محاسبات نوشته مایکل سیپسر
• کتاب مرجع، معرفی زبان ها و نظریه محاسبات نوشته مارتین
• کتاب مرجع، معرفی نظریه آتوماتا، زبان‌ها و محاسبات نوشته هاپکرافت، موتوانی و اولمان