کتاب تشریح جامع مسائل نظریه زبان ها و ماشین ها , پیتر لینز , لیلا صالحی , نشر آترا

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

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

فهرست مطالب:

• فصل 1:مقدمه ای بر نظریه محاسبات
• فصل 2: اتوماتای متناهی
• فصل 3: زبان های منظم و گرامرهای منظم
• فصل 4: ویژگی های زبان های منظم
• فصل 5: زبان های مستقل از متن
• فصل 6: ساده کردن گرامرهی مستقل از متن و فرم های نرمال
• فصل 7: اتوماتای پشته ای
• فصل 8: ویژگی های زبان های مستقل از متن
• فصل 9: ماشین های تورینگ
• فصل 10: مدل های دیگر ماشین های تورینگ
• فصل 11: سلسله مراتب زبان های صوری و اتوماتا