درس نظریه زبانها رشته کامپیوتر از مهمترین دروس تخصصی مهندسی نرم افزار است که در دوره کارشناسی باید گذرانده شود.
دانلود جزوه نظریه زبانها و ماشینها پیام نور پاورپوینت Languages & machines مترجم مهندس سید حجت الله جلیلی از انتشارات پژوهشهای فرهنگی(۱۳۸۰) و جزوه درس نظریه زبانها و ماشینها pdf فرشید شیرافکن و آموزش نظریه زبانها و ماشینها با مثال های کاربردی فراوان
تعریف ماشین های خودکار یا اتوماتها
یک ماشین یا اتومات ، یک مدل ریاضی از ماشین با حالات متناهی (FSM) است. یک ماشین شامل مجموعه‌ای متناهی از حالات است که بر اساس ورودی و تابع گذار خود (که می‌تواند به صورت جدول باشد)، از یک حالت به حالت دیگر، تغییر وضعیت می‌دهد. این تابع انتقال به ماشین خودکار می‌گوید که به کدام حالت بعدی با توجه به حالت فعلی و نماد داده شده، برود. به صورت کلی، یک ماشین شامل مجموعه‌ای متناهی یا شماری از حالات مختلف است.
پیشنهاد می شود: ۳۸ کتاب پیام نور رشته کامپیوتر
فهرست جزوه پیام نور نظریه زبانها و ماشینها
فصل اول: ریاضیات مقدماتی
- مفاهیم نمادگذاری و مفهوم تابع
- نظریه مجموعه ها
- مفهوم استقراء ریاضی
- گراف و انواع آن
فصل دوم: زبان ها
- مفاهیم رشته و زبان
- مشخصات زبان ها
- مجموعه های با قاعده
فصل سوم: گرامرهای مستقل از متن
- گرامرها و زبان های مستقل از متن
- اشتقاق و درخت آن
- گرامرهای قاعده
فصل چهارم: مقدمه ای بر پارسر ها
- اشتقاق چپ و ابهام
- گراف یک گرامر
- پارسر ها
فصل پنجم: فرم های نرمال
- فرم های نرمال
- حذف قوانین لامبدا
- حذف قوانین زنجیره ای
- فرم نرمال شومسکی وگریباش
فصل ششم: آتاماتای متناهی
- آتاماتای قطعی
- دیاگرام حالت
- آتاماتای غیر قطعی
فصل هفتم : زبانها و مجموعه های با قاعده
- آتاماتای متناهی و مجموعه های با قاعده
- گراف عبارت
- زبان بی قاعده
فصل هشتم: آتاماتای Pushdown
- آتاماتای Pushdown
- انواع PDA
- آتاماتای دو پشته ای
- بهینه سازی DFA
فصل نهم:ماشینهای تورینگ
- ماشین تورینگ
- انواع پذیرش
- ماشین های چند شیاره
- ماشین های تورینگ غیر قطعی
فصل دهم:طبقه بندی شومسکی
- گرامرهای بدون محدودیت
- گرامرهای وابسته به متن
- آتاماتای خطی محدود
- طبقه بندی شومسکی
پیشنهاد می شود: دانلود ۲ جزوه ریاضی مهندسی رشته های فنی مهندسی
فهرست جزوه نظریه زبانها و ماشینها فرشید شیرافکن
فصل ۱ : عبارت منظم در نظریه زبانها – زبان منظم
- عبارت منظم
- زبان
- اجتماع و اشتراک
- اتصال
- معکوس
- مکمل
- بستار
- هم ریختی
- تقسیم راست
- زبان منظم
- بسته بودن زبان های منظم
- لم تزریق در نظریه زبانها
فصل ۲ : گرامر – گرامر منظم
- گرامر
- انواع گرامر
- زبان تولید شده توسط گرامر
- گرامر منظم
فصل ۳ : اتوماتای متناهی (DFA, NFA)
- انواع ماشین
- ماشین های متناهی
- پذیرنده متناهی معین (DFA)
- زبان ها و DFA ها
- حالت دام (تله)
- مکمل DFA
- پذیرنده متناهی نامعین ( NFA)
- هم ارزی DFA و NFA
- ارتباط گرامر منظم با ماشین متناهی
- کاهش تعداد حالات در ماشین های متناهی
- نحوه تشخیص منظم بودن یک زبان
فصل ۴ : زبان و گرامر مستقل از متن
- گرامر مستقل از متن
- گرامر ساده
- بسته بودن زبان های مستقل از متن
- لم تزریق برای زبان های مستقل از متن
- لم تزریق برای زبان های خطی
فصل ۵ : ابهام – ساده سازی گرامر – فرم های نرمال
- ابهام در گرامر و زبان
- ساده سازی گرامرهای مستقل از متن
- حذف متغیرها و قوانین بی فایده
- حذف قوانین
- حذف قوانین واحد
- فرم های نرمال گرامر مستقل از متن
- فرم نرمال چامسکی
- فرم نرمال گریباخ
فصل ۶ : اتوماتای پشته ای (DPDA, NPDA)
- اتوماتای پشته ای نامعین
- تابع انتقال
- پیکر بندی لحظه ای
- اتوماتای پشته ای معین
- تشخیص مستقل از متن بودن یک زبان
- زبان مستقل از متن معین
- ساخت اتوماتای پشته ای با استفاده از گرامر در فرم گریباخ
فصل ۷ : ماشین های تورینگ (TM)
- ماشین تورینگ استاندارد
- ماشین تورینگ در نقش پذیرنده زبان
- ماشین تورینگ به عنوان مترجم
- مدل های دیگر ماشین تورینگ
- سکون دار
- با نوار نیمه نامتناهی
- آف لاین
- با حافظه پیچیده تر
- چند نواره
- چند بعدی
- نامعین
- آتاماتای کراندار خطی (LBA)
فصل ۸ : زبان های بازگشتی – گرامر بدون محدویت و حساس به متن
- زبان های بازگشتی و بازگشتی شمارش پذیر
- گرامر بدون محدودیت
- گرامر حساس به متن
- ارتباط بین زبان ها، گرامرها و ماشین ها
- سلسله مراتب چامسکی
- بررسی بسته بودن زبان ها تحت عملگرها
فصل ۹ : تصمیم پذیری – کاهش پذیری
- زبان های تصمیم نا پذیر
- زبان های تصمیم پذیر
- تصمیم پذیری در زبان های منظم
- برشمارنده
- کاهش پذیری
پیشنهاد می شود: پایان نامه ساخت خانه های هوشمند
فهرست جزوه نظریه زبانها و ماشین ها همراه با مثال های کاربردی فراوان
اصطلاحات و تعاریف
نمونه هایی از گرامر
اتوماتا
اتوماتای متناهی نامعین NFA
تبدیل NFAبه DFA
ساده سازی DFA
بدست آورد عبارت منظم
زبان های منظم
تشخیص چگونگی تساوی دو زبان منظم
زبان های مستقل از متن C.F.L
حذف قوانین λ
حذف قوانین یکه
شکل نرمال چامسکی
اتوماتای پشته ای PDA
لم تزریق در نظریه زبانها
ماشین تورینگ
گرامر نامقید
گرامر حساس به متن
در این پست سه جزوه و کتاب آموزشی مهم توسط وب سایت جزوه در اختیارتان قرار می گیرد.
3 جزوه درس نظریه زبانها و ماشینها شامل:
1- حل تمرین نظریه زبانها و ماشینها که تمرکزی بر مثال ها و آموزش نظریه زبانها و ماشینها دارد و شامل 43 صفحه pdf است.
2- کتاب نظریه زبانها و ماشینها فرشید شیرافکن که منبع کنکور کارشناسی ارشد مهندسی نرم افزار به حساب می آید شامل 260 صفحه با فرمت pdf است.
3- کتاب نظریه زبانها و ماشین ها Thomas A.Sudkamp با ترجمه حجت الله جلیلی که در دانشگاه پیام نور تدریس می شود. شامل 277 اسلاید پاورپوینت
در صورت تمایل میتوانید جزوه های زیر را دنبال کنید:
کتاب طراحی الگوریتم ها
جزوه آموزشی زبان PHP
جزوه مهندسی اینترنت ملکیان
کتاب سیستم عامل استالینگز ویرایش هفتم
دانلود جزوه اصول طراحی کامپایلر به زبان فارسی
دانلود جزوه درس زبان ماشین و اسمبلی به صورت پاورپوینت
