کتاب نظریه زبان ها و ماشین ها پوران پژوهش تالیف مجتبی پورمحقق

کتاب نظریه زبان ها و ماشین ها پوران پژوهش تالیف مجتبی پورمحقق از سری کتاب های ارشد انتشارات پوران پژوهش می باشد که با نام سری کتاب های آبی رنگ نیز شناخته می شود. این کتاب با دو هدف عمده تالیف شده است. اول این که داوطلبان آزمون کارشناسی ارشد به صورت کامل با درسنامه های مربوط به نظریه زبان ها و ماشین ها آشنا شوند و همچنین بتوانند به نمونه سوالات و تست های چهارگزینه ای آزمون های سراسری و آزاد دسترسی داشته باشد. ساختار کتاب به این گونه است که پس از شرح دقیق مباحث درسی، نمونه تست ها از سال های گذشته آزمون های سراسری و آزاد آورده شده است. همچنین این کتاب با توجه به مباحث شرح درس می تواند مورد استفاده در مقاطع پایین تر دانشجویان نیز باشد. در ادامه با فهرست این کتاب آشنا می شویم.

کتاب نظریه زبان ها و ماشین ها پوران پژوهش تالیف مجتبی پورمحقق شامل مطالب زیر است

فصل اول: تعاریف، مفاهیم اولیه و بنیان های ریاضی مرتبط

• مجموعه
• الفبا
• عملگرهای رشته ای
• زبان
• گرامر
• قوانین تبدیل
• ماشین
• سوالات علوم کامپیوتر
• پاسخ سوالات علوم کامپیوتر
• سوالات مهندسی کامپیوتر (کنکور آزاد)
• پاسخ سوالات مهندسی کامپیوتر (کنکور آزاد)

فصل دوم: زبان های منظم، ماشین های متناهی و گرامرها

• مجموعه های منظم
• عبارت های منظم
• قواعد ساده سازی
• گرامرهای منظم
• ماشین های متناهی
• اعمال روی ماشین های متناهی پذیرنده
• ماشین های متناهی تراگذر
• قوانین تبدیل
• تبدیل گرامر به RE
• تبدیل RE به گرامر
• تبدیل عبارت منظم به NFA
• تبدیل NFA به عبارت منظم
• و غیره

فصل سوم: زبان های مستقل از متن

• گرامرهای مستقل از متن
• مثال های معروف
• عضویت
• ابعام
• فرم نرمال چامسکی
• فرم نرمال گریباخ
• ماشین پشته ای
• ویژگی های زبان های مستقل از متن
• خاصیت زبان های خطی
• لم تزریق برای تشخیص زبان های خطی
• سوالات علوم کامپیوتر
• سوالات مهندسی کامپیوتر
• و غیره

فصل چهارم کتاب نظریه زبان ها و ماشین ها پوران پژوهش تالیف مجتبی پورمحقق: ماشین های تورینگ

• ماشین تورینگ
• تعریف رسمی ماشین تورینگ
• انواع ماشین تورینگ
• ترکیب ماشین های تورینگ برای انجام وظایف پیچیده تر
• تز تورینگ
• آتاماتای کراندار خطی
• و غیره

فصل پنجم: دسته بندی زبان های صوری و پیچیدگی محاسباتی

• سلسله مراتب زبان های صوری و آتاماتا
• زبان های بازگشتی
• سلسله مراتب چامسکی
• سوالات علوم کامپیوتر
• و غیره