کتاب نظریه زبان ها و ماشین ها اثر فردین شاپوری ، درباره‌ی مفاهیم نظریه زبانها و ماشین‌ها است. زبان‌های صوری مورد بحث و بررسی قرار گرفته و روشهای توصیف رسمی انواع خانواده زبان‌های صوری مانند ماشین‌ها و گرامرها و خصوصیات بستاری این خانواده‌ها مورد مطالعه قرار می‌گیرد.مناسب برای: مطالعه به عنوان یک مرجع کامل و جامع در درس نظریه زبان‌ها و ماشین‌ها برای دانشجویان رشته‌های مهندسی کامپیوتر و علوم کامپیوتر و اساتید این رشته‌ها، همچنین با توجه به این‌که درس نظریه زبان‌ها و ماشین‌ها یکی از مواد درسی مهم و اصلی کنکور کارشناسی ارشد آزاد و دولتی رشته‌های مهندسی کامپیوتر و علوم کامپیوتر است، این کتاب مرجع کاملی برای این درس در کنکور کارشناسی ارشد نیز است.پیش‌نیاز: آشنایی با مفاهیم پایه‌ای ریاضی مانند موضوعات نظریه مجموعه‌ها، توابع، روابط، منطق، استدلال و استنتاج ریاضی.مهارتی که کسب خواهید کرد: تسلط روی برخی از جنبه‌های علم کامپیوتر، شناخت دقیق انواع زبان‌های صوری و توانایی توصیف و تعریف زبان‌های صوری، توانایی تعریف و حل مسأله. فهرست مطالب نظریه زبان‌ها و ماشین‌ها فصل اول: مفاهیم پایه 1-1 مقدمه 1-2 نظریه‌ی مجموعه‌ها 1-3 روش‌های اثبات 1-4 زبان‌ و مفاهیم پایه 1-5 گرامرها 1-6 ماشین‌ها تمرین‌های فصل اول تست‌های فصل اول پاسخ تشریحی تست‌های فصل اول فصل دوم: ماشین‌های متناهی 2-1 مقدمه 2-2 ماشین متناهی قطعی 2-3 کاهش تعداد حالت‌های ماشین متناهی قطعی 2-4 ماشین‌های متناهی غیرقطعی 2-5 ماشین‌های متناهی با خروجی تمرین‌های فصل دوم تست‌های فصل دوم پاسخ تشریحی تست‌های فصل دوم فصل سوم: زبان‌ها و گرامرهای منظم 3-1 مقدمه 3-2 عبارت‌های منظم 3-3 ارتباط بین عبارت‌های منظم و زبان‌های منظم 3-4 گرامرهای منظم تمرین‌های فصل سوم تست‌های فصل سوم پاسخ تشریحی تست‌های فصل سوم فصل چهارم: ویژگی‌های زبان‌های منظم 4-1 مقدمه 4-2 خصوصیات بستاری زبان‌های منظم 4-3 خواص الگوریتمیک زبان‌های منظم 4-4 لم تزریق زبان‌های منظم تمرین‌های فصل چهارم تست‌های فصل چهارم پاسخ تشریحی تست‌های فصل چهارم فصل پنجم: زبان‌های مستقل از متن 5-1 مقدمه 5-2 گرامرهای مستقل از متن 5-3 تجزیه و عضویت 5-4 گرامرهای مبهم 5-5 اهمیت و کاربرد زبان‌های منظم و مستقل از متن تمرین‌های فصل پنجم تست‌های فصل پنجم پاسخ تشریحی تست‌های فصل پنجم فصل ششم: ساده‌سازی گرامرهای مستقل از متن 6-1 مقدمه 6-2 روش‌های تبدیل گرامرهای مستقل از متن 6-3 شکل نرمال 6-4 الگوریتم عضویت CYK فصل هفتم: ماشین‌های پشته‌ای 7-1 مقدمه 7-2 ماشین پشته‌ای غیرقطعی 7-3 ماشین پشته‌ای قطعی 7-4 اهمیت زبان‌های مستقل از متن قطعی 7-5 زبان‌های مستقل از متن و ماشین‌های پشته‌ای 7-6 ماشین پشته‌ای تقویت‌شده تمرین‌های فصل هفتم تست‌های فصل هفتم پاسخ تشریحی تست‌های فصل هفتم فصل هشتم: خصوصیات بستاری زبان‌های مستقل از متن 8-1 مقدمه 8-2 لم تزریق زبان‌های مستقل از متن و خطی 8-3 خصوصیات بستاری زبان‌های مستقل از متن 8-4 برخی از مسائل تصمیم‌پذیر در محدوده‌ی زبان‌های مستقل از متن تمرین‌های فصل هشتم تست‌های فصل هشتم پاسخ تشریحی تست‌های فصل هشتم فصل نهم: ماشین‌های تورینگ و دسته‌بندی زبان‌ها و ماشین‌ها 9-1 مقدمه 9-2 ماشین تورینگ استاندارد 9-3 ماشین تورینگ پذیرنده و محاسبه‌گر 9-4 سایر مدل‌های ماشین تورینگ 9-5 مجموعه‌های شمارا و ناشمارا 9-6 زبان‌های بازگشتی و بازگشتی شمارش‌پذیر 9-7 دسته‌بندی زبان‌های صوری 9-8 خصوصیات بستاری زبان‌های بازگشتی و بازگشتی شمارش‌پذیر تمرین‌های فصل نهم تست‌های فصل نهم پاسخ تشریحی تست‌های فصل نهم فصل دهم: تصمیم‌ناپذیری و کاهش‌پذیری 10-1 مقدمه 10-2 مسائل تصمیم‌ناپذیر روی TMها، زبان‌های r.e. و گرامرهای بدون محدودیت 10-3 مسائل تصمیم‌ناپذیر روی زبان‌های مستقل از متن 10-4 کاهش‌پذیری تمرین‌های فصل دهم تست‌های فصل دهم پاسخ تشریحی تست‌های فصل دهم