کتاب نظریه زبان ها و ماشین ها Machines, Languages, and Computation

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