مقدمه‌ای بر نظریه زبانها و ماشینها

کتاب با شرح مفاهیم مقدماتی ریاضی آغاز شده، در پی آن طی دوازده فصل، سه مبحث((زبان‌ها))، ((گرامرها)) و ((ماشین‌ها)) بررسی و تبیین گردیده است . فصل‌های کتاب عبارت‌اند از :((آتاماتای متناهی))، ((زبان‌های منظم و گرامرهای منظم))، ((خواص زبان‌های منظم))، ((زبان‌های مستقل از متن))، ((ساده‌سازی گرام‌های مستقل از متن و فرم‌های نرمال))، ((آتاماتای پشته‌ای))، ((خواص زبان‌های مستقل از متن))، ((ماشین تورینگ))، ((مدل‌های دیگر ماشین تورینگ))، ((دسته‌بندی زبان‌های صوری و آتاماتا))، ((محدوده محاسبات الگوریتمی)) و ((مقدمه‌ای بر پیچیدگی و محاسبات)) .