قدمهای پیشنهادی
- زبان و مدل: الفبا، رشته، زبان و عملگرهای زبان را دقیق تعریف کن و هر مدل را با زبان قابلپذیرش آن بشناس.
- منظمها: DFA، NFA و عبارت منظم را با تبدیل دوطرفه، کمینهسازی و تشخیص محدودیتها تمرین کن.
- گرامر و پشته: گرامر مستقل از متن، درخت اشتقاق و ماشین پشتهای را همراه ابهام و فرمهای نرمال بخوان.
- محاسبهپذیری: ماشین تورینگ، تصمیمپذیری و کاهش را با تعریف مسئله و منطق هر اثبات دنبال کن.
- نقشهٔ مقایسه: توان مدلها، بستهبودن زبانها و ابزار اثبات نامنظمی یا تصمیمناپذیری را در یک جدول جمع کن.