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