مقدمهای بر نظریه محاسبات
فصل صفر: مقدمه
فصل اول: زبانهای منظم
فصل دوم: زبانهای مستقل از متن
فصل سوم: تز چرچ- تورینگ
فصل چهارم: تصمیمپذیری
فصل پنجم: کاهشپذیری
فصل ششم: مباحث پیشرفته در نظریهی محاسبهپذیری
پیوست: حل مسائل برگزیده
مراجع