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