در كتاب حاضر كه براي مطالعه‌ي دانشجويان رشته‌ي كامپيوتر تدوين گرديده سه موضوع اساسي نظريه‌ي محاسبات و علوم كامپيوتر ـ رياضيات، مهندسي و زبان‌شناسي ـ تحت پاره‌اي از اين عناوين بررسي گرديده است: ماشينها و زبانهاي مجرد، معرفي گرامرهاي رسمي شامل جملات و گرامرهاي توليدكننده‌ي آن جملات، معرفي ماشينها و زبانهاي حالت محدود، بررسي محدوديت‌ها اتوماتاي حالت محدود، گرامرها و زبانهاي آزاد از متن و تحليل نحوي آن‌ها، معرفي ماشين تورينگ، مسائل لاينحل كه هيچ راه حل كارآمدي براي آن‌ها وجود ندارد، و سيستم‌هاي دستكاري رشته‌اي پست.