مترجم کتاب : عبدالحسین صراف‌زاده 
نویسنده کتاب : پیتر لینز 
تاریخ انتشار کتاب : ۱۳۷۸/۰۹/۲۳ 
محل انتشار : تهران 
قطع کتاب : وزیری 
رده دیویی : ۵۱۱.۳ 
نوع جلد کتاب : شومیز 
تعداد صفحه : ۳۶۸ 
نوع اثر : ترجمه 
زبان کتاب : فارسی 
نوبت چاپ کتاب : ۱ 
تیراژ کتاب : ۳۳۰۰ 
شابک : ۹۶۴-۶۷۵۹-۷۴-۲ 
 
کتاب با شرح مفاهیم مقدماتی ریاضی آغاز شده, در پی آن طی دوازده فصل, سه مبحث((زبان‌ها)), ((گرامرها)) و ((ماشین‌ها)) بررسی و تبیین گردیده است . فصل‌های کتاب عبارت‌اند از :((آتاماتای متناهی)), ((زبان‌های منظم و گرامرهای منظم)), ((خواص زبان‌های منظم)), ((زبان‌های مستقل از متن)), ((ساده‌سازی گرام‌های مستقل از متن و فرم‌های نرمال)), ((آتاماتای پشته‌ای)), ((خواص زبان‌های مستقل از متن)), ((ماشین تورینگ)), ((مدل‌های دیگر ماشین تورینگ)), ((دسته‌بندی زبان‌های صوری و آتاماتا)), ((محدوده محاسبات الگوریتمی)) و ((مقدمه‌ای بر پیچیدگی و محاسبات)) .