در این درس با سه موضوع “زبان، گرامر و ماشین” آشنا می‌شوید. این درس پیش نیاز درس طراحی کامپایلر است. با یادگیری زبان‌ها و گرامرها می‌توانید نحوه کار کامپایلر و همچنین طراحی زبان‌های برنامه سازی را متوجه شد. یادگیری این درس بدون مدرس کار ساده ای نمی‌باشد و ما در این آموزش تجربه حداقل پانزده سال تدریس این درس را در اختیار شما گذاشته ایم. به امید اینکه دعای خیری برای ما شود.

فهرست سرفصل‌ها و رئوس مطالب مطرح شده

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

مناسب برای

کنکور کارشناسی ارشد مهندسی کامپیوتر‎
کنکور کارشناسی ارشد مهندسی فناوری اطلاعات IT)‎)
کنکور کارشناسی ارشد علوم کامپیوتر‎
عموم علاقه مندان به یادگیری مباحث مهندسی کامپیوتر‎