در اين درس با سه موضوع زبان، گرامر و ماشين آشنا مي شويد. اين كتاب آموزشي پيش نياز درس طراحي كامپايلر است. با يادگيري زبان ها و گرامرها مي توانيد نحوه كار كامپايلر و همچنين طراحي زبان هاي برنامه سازي را متوجه شد. يادگيري اين درس بدون مدرس كار ساده اي نمي باشد و ما در اين آموزش تجربه حداقل پانزده سال تدريس اين درس را در اختيار شما گذاشته ايم . نظريهٔ ماشين‌ها عبارت است از بررسي رياضي ماشين‌هاي محاسبه‌گر انتزاعي و توانايي‌هاي آنها براي حل مسايل به اين ماشين‌هاي انتزاعي اتوماتا گفته مي‌شود اين نظريه بسيار نزديك به نظريهٔ زبان صوري است. به طوري كه اتوماتا اغلب توسط دستهٔ زبان‌هاي رسمي قابل تشخيص دسته‌بندي مي‌شوند.
اتوماتا نقش اساسي در طراحي كامپايلر و تجزيه كردن ايفا مي‌كند. زبان‌هايي كه توسط اين ماشين‌ها بررسي مي‌شوند زبان‌هاي فرمال هستند. در هر مرحله از زمان، ماشين يك ورودي كه از مجموعه‌اي از نمادها يا حرف‌ها برداشته شده‌است را، مي‌گيرد كه به آن الفبا گفته مي‌شود. يك ماشين حاوي مجموعهٔ متناهي از حالت‌هاست. در هر لحظه از اجرا بسته به نوع ماشين، مي‌تواند در يكي يا چند تا از حالت‌هايش باشد. در هر مرحلهٔ زماني، هنگامي كه ماشين يك نماد را مي‌خواند، بر اساس حالت فعلي و نماد خوانده شده به حالت بعدي پرش يا گذر مي‌كند. ين تابع روي حالت فعلي و نماد ورودي تابع گذار گفته مي‌شود. اميدواريم كه از دانلود كتاب آموزش نظريه زبان ها و ماشين لذت ببريد .
فهرست سرفصل ها و رئوس مطالب مطرح شده :
فصل ۱ : عبارت منظم – زبان منظم
– عبارت منظم
– زبان
– اجتماع و اشتراك
– اتصال
– معكوس
– مكمل
– بستار
– هم ريختي
– تقسيم راست
– زبان منظم
– بسته بودن زبان هاي منظم
– لم تزريق
فصل ۲ : گرامر – گرامر منظم
– گرامر
– انواع گرامر
– زبان توليد شده توسط گرامر
– گرامر منظم
فصل ۳ : اتوماتاي متناهي (DFA, NFA)
– انواع ماشين
– ماشين هاي متناهي
– پذيرنده متناهي معين (DFA)
– زبان ها و DFA ها
– حالت دام (تله)
– مكمل DFA
– پذيرنده متناهي نامعين ( NFA)
– هم ارزي DFA و NFA
– ارتباط گرامر منظم با ماشين متناهي
– كاهش تعداد حالات در ماشين هاي متناهي
– نحوه تشخيص منظم بودن يك زبان
فصل ۴ : زبان و گرامر مستقل از متن
– گرامر مستقل از متن
– گرامر ساده
– بسته بودن زبان هاي مستقل از متن
– لم تزريق براي زبان هاي مستقل از متن
– لم تزريق براي زبان هاي خطي
فصل ۵ : ابهام – ساده سازي گرامر – فرم هاي نرمال
– ابهام در گرامر و زبان
– ساده سازي گرامرهاي مستقل از متن
– حذف متغيرها و قوانين بي فايده
– حذف قوانين
– حذف قوانين واحد
– فرم هاي نرمال گرامر مستقل از متن
– فرم نرمال چامسكي
– فرم نرمال گريباخ
فصل ۶ : اتوماتاي پشته اي (DPDA, NPDA)
– اتوماتاي پشته اي نامعين
– تابع انتقال
– پيكر بندي لحظه اي
– اتوماتاي پشته اي معين
– تشخيص مستقل از متن بودن يك زبان
– زبان مستقل از متن معين
– ساخت اتوماتاي پشته اي با استفاده از گرامر در فرم گريباخ
فصل ۷ : ماشين هاي تورينگ (TM)
– ماشين تورينگ استاندارد
– ماشين تورينگ در نقش پذيرنده زبان
– ماشين تورينگ به عنوان مترجم
– مدل هاي ديگر ماشين تورينگ
– سكون دار
– با نوار نيمه نامتناهي
– آف لاين
– با حافظه پيچيده تر
– چند نواره
– چند بعدي
– نامعين
– آتاماتاي كراندار خطي (LBA)
فصل ۸ : زبان هاي بازگشتي – گرامر بدون محدويت و حساس به متن
– زبان هاي بازگشتي و بازگشتي شمارش پذير
– گرامر بدون محدوديت
– گرامر حساس به متن
– ارتباط بين زبان ها، گرامرها و ماشين ها
– سلسله مراتب چامسكي
– بررسي بسته بودن زبان ها تحت عملگرها
فصل ۹ : تصميم پذيري – كاهش پذيري
– زبان هاي تصميم نا پذير
– زبان هاي تصميم پذير
– تصميم پذيري در زبان هاي منظم
– برشمارنده
– كاهش پذيري
مشخصات كتاب :
– نام كتاب : آموزش نظريه زبان ها و ماشين
– نويسنده : فرشيد شيرافكن
– تعداد صفحات : 260
– فرمت كتاب : پي دي اف
مناسب براي :
– كنكور كارشناسي ارشد مهندسي كامپيوتر
– كنكور كارشناسي ارشد مهندسي فناوري اطلاعات IT))
– كنكور كارشناسي ارشد علوم كامپيوتر
– عموم علاقه مندان به يادگيري مباحث مهندسي كامپيوتر