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

معرفی مباحث کتاب نظریه زبان ها و اتوماتا

1. مقدمه ای بر نظریه محاسبات
2. اتوماتای متناهی
3. زبانهای منظم و گرامرهای منظم
4. ویژگی های زبان های منظم
5.  زبان های مستقل از متن
6. ساده کردن گرامرهای مستقل از متن و فرمهای نرمال
7. اتوماتای پشته ای
8. ویژگی های زبانهای مستقل از متن
9. ماشین های تورینگ
10. مدل های دیگر ماشین های تورینگ
11.  سلسله مراتب زبان های صوری و اتوماتا