عنوان اصلی: 2012c ,.ed th5 ,automata and languages formal to introduction An
کتاب حاضر نخستین بار در سال ۱۳۷۸ با عنوان "مقدمهای بر نظریه زبانها و ماشینها" و با ترجمه عبدالحسین صرافزاده توسط انتشارات ناقوس به چاپ رسیده و سپس در سالهای مختلف توسط مترجمین و ناشرین متفاوت منتشر شده است.
واژهنامه
نویسنده پیتر لینز؛ مترجمان جعفر تنها، محمد سلیمانیتبار