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