کتاب نظریه زبانها و ماشینها نشر جهش تألیف سیدمحمدحسین هاشمی نژاد و زهره عفیفی شامل:
- درسنامه و خلاصه مباحث نظریه زبانها و ماشینها
- نکات مهم و کلیدی نظریه زبانها و ماشینها در هر فصل و مبحث
- تستهای سراسری، آزاد و تألیفی در انتهای هر فصل با حل تشریحی
مبحث نظریه زبانها و ماشینها در عین حال که به شدت تئوری است ولی بسیار جذاب و بسیاری از مسائل آن شبیه به حل معماست. در این کتاب سعی شده مطالب مختلف به همراه زبان ساده و ارائه نکات تستی مطرح شود و از جزئیات اثبات‌های طولانی بعضی از مطالب صرف‌نظر شده است.
به دلیل اینکه مطالب این کتاب با توجه به منابع و سرفصل‌های اعلام شده توسط وزارت علوم و تحقیقات تهیه و تنظیم شده است، می‌تواند به عنوان مرجعی کامل برای دانشجویان دوره کارشناسی و داوطلبان آزمون‌های کارشناسی ارشد و دکتری رشته‌های مهندسی کامپیوتر و علوم کامپیوتر مورد استفاده قرار گیرد.
لازم به ذکر است، جهت نوشتن این کتاب از مراجع معتبر خارجی مربوط به نویسندگان: (1) لیننر، (2) سیپسر، (3) اولمن و (4) سود کمپ و جزوات اساتید ممتاز دانشگاه‌های معتبر استفاده شده است.
این کتاب شامل پنج فصل مجزا: 1- تئوری زبانها، 2- زبان‌های منظم، 3- زبان‌های مستقل از متن، 4- ماشین‌های تورینگ و 5- زبان‌های شمارش‌پذیر بازگشتی و بازگشتی و مسائل تصمیم‌گیری است.
در انتهای هر فصل، تستهای چهارگزینه‌ای و پاسخ‌های تشریحی آزمون‌های کارشناسی ارشد دانشگاه‌های دولتی و آزاد مطرح شده است.
فهرست مطالب کتاب نظریه زبانها و ماشینها نشر جهش:
تئوری محاسبات
- مجموعه‌ها
- روش‌های اثبات
- الفبا و رشته
- عملگرهای روی رشته‌ها
- تعریف زبان
- عملگرهای روی زبانها
- گرامر
- انواع گرامر و زبانها
- ماشینها و انواع آن
- تستهای فصل اول به همراه پاسخ تشریحی
ماشین‌های متناهی
- پذیرنده‌های متناهی قطعی (DFA)
- پذیرنده‌های متناهی غیرقطعی (NFA)
- ماشین‌های متناهی غیرقطعی با حرکات (NDFA-)
- عبارات منظم RES
- خواص عبارت‌های منظم
- ارتباط بین عبارات منظم و زبان‌های منظم
- گراف انتقال تعمیم یافته (GTG)
- طریقه تبدیل NDFA به یک گرامر خطی از چپ
- طریقه تبدیل عبارت منظم به گرامر منظم
- طریقه نوشتن عبارت منظم از روی گرامر
- خصوصیات زبان‌های منظم
- تشخیص زبان‌های غیرمنظم
- تستهای فصل دوم به همراه پاسخ تشریحی
زبان‌های مستقل از متن
- اشتقاق‌های چپ‌ترین و راست‌ترین و درخت‌های اشتقاق
- ابهام (Ambiguity) و گرامر مبهم (Ambiguous grammar)
- ساده‌سازی گرامرهای مستقل از متن و فرم‌های نرمال
- ماشین‌های پشته‌ای
- ماشین‌های پشته‌ای و زبان‌های مستقل از متن
- ماشین پشته‌ای قطعی و زبان‌های مستقل از متن قطعی
- خصوصیات زبان‌های مستقل از متن
- برخی خواص تصمیم‌پذیر زبان‌های مستقل از متن
- هرم زبانها
- تستهای فصل سوم به همراه پاسخ تشریحی
ماشین‌های تورینگ
- ماشین تورینگ استاندارد
- مدل‌های دیگر ماشین تورینگ
- یک ماشین تورینگ جهانی
- سؤالات فصل چهارم به همراه پاسخ تشریحی
سلسله مراتب زبان‌های رسمی و ماشینها و مسائل تصمیم‌پذیری
- مفاهیم زبان‌های بازگشتی (REC) و شمارش‌پذیر بازگشتی (RE)
- خصوصیات زبان‌های شمارش‌پذیر بازگشتی (RE) و بازگشتی (REC)
- ارتباط بین گرامرهای بدون محدودیت و حساس به متن با زبان‌های شمارش‌پذیر بازگشتی و بازگشتی
- مسائل تصمیم‌گیری
- مقدمه‌ای بر پیچیدگی محاسباتی ماشینها
- تستهای فصل پنجم به همراه پاسخ تشریحی
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.