می‌آموزید که عبارات منظم و عملیات اصلی روی زبان‌های صوری را تحلیل کنید.

توانایی طراحی گرامرهای منظم و مستقل از متن برای زبان‌های خاص را به‌دست می‌آورید.

یاد می‌گیرید اتوماتاهای متناهی، پشته‌ای و ماشین تورینگ را برای تشخیص زبان‌ها بسازید.

با مفاهیم ابهام، ساده‌سازی گرامر و فرم‌های نرمال در زبان‌های مستقل از متن آشنا می‌شوید.

خواهید توانست سلسله مراتب زبان‌ها و ارتباط ماشین‌ها و گرامرها در نظریه محاسبات را تبیین کنید.