کتاب مقدمه‌ای بر نظریه زبان‌ها و ماشین‌ها نوشته پیتر لینز، با ترجمه مهدی صادق‌زاده و انتشار انتشارات خراسان، به مباحثی مانند زبان‌های رسمی، ماشین‌ها و محاسبه‌پذیری می‌پردازد. این درس ماهیتی نظری دارد، اما مفاهیم آن در موضوعات مرتبط با علوم کامپیوتر نیز کاربرد دارند. یادگیری این مفاهیم برای دانشجویان رشته‌های کامپیوتر اهمیت زیادی دارد و در بسیاری از کتاب های فنی و مهندسی این حوزه نیز با چنین مباحثی روبه‌رو می‌شوند. کتاب، ویرایش هفتم این اثر است و سرفصل مصوب درس نظریه زبان‌ها و ماشین‌ها را پوشش می‌دهد. از مطالب آن می‌توان در درس‌های پیچیدگی محاسبات و طراحی کامپایلرها نیز استفاده کرد. کتابهای دانشگاهی حوزه کامپیوتر بخش مهمی از منابع درسی این رشته را تشکیل می‌دهند و این اثر برای دانشجویان مهندسی کامپیوتر، فناوری اطلاعات و متقاضیان تحصیلات تکمیلی در رشته کامپیوتر در نظر گرفته شده است.
مباحث کتاب مقدمه ای بر نظریه زبان ها:
- مقدمه ای بر نظریه محاسبات
- ماشین های متناهی
- زبان های منظم و گرامرهای منظم
- خواص زبان های منظم
- زبان های مستقل از متن
- ساده سازی گرامرهای مستقل از متن
- ماشین های پشته ای
- خواص زبان های مستقل از متن
- ماشین های تورنگ
- مدل های دیگر ماشین ها تورینگ
- و..
