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