کتاب نظریه زبان ها و ماشین ها نوشته جک ب دنیس، پیتر دنینگ، جوزف ای کوالیتز با ترجمه ضرغام اسدی, توسط انتشارات روزنه به چاپ رسیده است.
موضوع کتاب: مهندسی کامپیوتر، داده پردازی، ریاضیات، مهندسی

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

معرفی مباحث کتاب نظریه زبان ها و ماشین ها

1. ماشین‌ها و زبان‌های مجرد
2. مروری بر منطق، تئوری مجموعه و زبان‌ها
3. معرفی گرامرهای رسمی شامل جملات و گرامرهای تولیدکننده آن جملات
4. معرفی ماشین‌ها و زبان‌های حالت محدود
5. بررسی محدودیت‌های اتوماتای حالت محدود
6. معرفی اتوماتای نواردار و پشته‌ای و رسیدن به این نتیجه که برای قدرت بیشتر به حافظه نیاز داریم .
7. گرامرها و زبان‌های آزاد از متن و تحلیل نحوی آنها
8. معرفی ماشین تورینگ
9. مسایل حل ناپذیر که هیچ راه حل کارآمدی برای آنها وجود ندارد.
10. توابع بازگشتی و مطالعه سه کلاس توابع بازگشتی، اولیه، چندگانه
11. سیستم‌های دستکاری رشته‌ای پست