عنوان اصلی:automata and languages formal to introduction An
کتاب حاضر نخستین بار با عنوان "مقدمهای بر نظریه زبانها و ماشینها" و سپس با عنوان "نظریه زبانها و ماشینها" توسط انتشارات ناقوس منتشر شده است
واژهنامه
پیتر لینز؛ ]ترجمه[ جعفر تنها، محمد سلیمانیتبار