نظریه‌ی زبان‌ها و تئوری محاسبات

تعاریف زبان‌های بازگشتی

ماشین حالت متناهی

عبارات، گرامر و زبان‌های منظم

خصوصیات زبان‌های منظم

زبان‌های مستقل از متن

ساده‌سازی گرامرهای مستقل از متن

آتاماتای پشته‌ای (Push-Down Automata)

خواص زبان‌های مستقل از متن

مدل‌های دیگر tm

سلسله مراتب زبان‌های فرمال- زبان‌های بازگشتی شمارش‌پذیر و بازگشتی تصمیم‌پذیر- زبان‌های حساس به متن

محدودیت‌های محاسبات الگوریتمی، مسائل تصمیم‌ناپذیر روی ماشین‌ تورینگ و زبان‌های بازگشتی، مسائل تصمیم‌ناپذیر گرامرهای مستقل از متن