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