کتاب صوتی مبانی نظری زبان‌های برنامه‌نویسی و طراحی کامپایلرها

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره مبانی نظری زبان‌های برنامه‌نویسی و طراحی کامپایلرها

موضوع کلی: علوم رایانه و مهندسی نرم‌افزار

موضوع میانی: نظریه محاسبات و زبان‌های صوری

📋 سرفصل‌های دوره (100 موضوع)

• 1. مبانی و تعاریف پایه در نظریه زبان‌های صوری
• 2. الفبای زبان‌ها و مجموعه‌های رشته‌ای
• 3. عملیات ریاضی بر روی رشته‌ها و زبان‌ها
• 4. دستور زبان‌های صوری و سلسله‌مراتب چامسکی
• 5. ماشین‌های متناهی قطعی و کاربرد آن‌ها
• 6. ماشین‌های متناهی غیرقطعی و معادل‌سازی
• 7. کوچک‌سازی و بهینه‌سازی ماشین‌های متناهی
• 8. عبارات منظم و تطبیق الگو
• 9. قضیه کلین و ارتباط عبارات منظم با ماشین‌ها
• 10. لم تزریق برای زبان‌های منظم و اثبات غیرمنظم بودن
• 11. دستور زبان‌های مستقل از متن
• 12. درخت اشتقاق و ابهام در دستور زبان‌ها
• 13. فرم نرمال چامسکی و فرم نرمال گریباخ
• 14. ماشین‌های پشته‌ای و زبان‌های مستقل از متن
• 15. ماشین‌های پشته‌ای قطعی و غیرقطعی
• 16. لم تزریق برای زبان‌های مستقل از متن
• 17. ماشین‌های تورینگ به عنوان مدل محاسباتی
• 18. توسعه‌های ماشین تورینگ و قدرت محاسباتی
• 19. مسئله توقف و محدودیت‌های رایانش
• 20. زبان‌های حساس به متن و ماشین‌های خطی محدود
• 21. زبان‌های بازگشتی و بازگشتی شمارش‌پذیر
• 22. مقدمه‌ای بر تحلیل‌گر لغوی و نقش آن در کامپایلر
• 23. طراحی و پیاده‌سازی تحلیل‌گر لغوی با استفاده از ماشین‌های متناهی
• 24. ابزارهای تولید خودکار تحلیل‌گر لغوی
• 25. تحلیل‌گر نحوی و روش‌های بالا به پایین
• 26. روش‌های تحلیل‌گر نحوی پیش‌بین (LL)
• 27. تحلیل‌گر نحوی پایین به بالا و روش‌های شیفت-کاهش
• 28. تحلیل‌گرهای LR و SLR
• 29. تحلیل‌گرهای LALR و بهینه‌سازی جداول پارس
• 30. مدیریت خطا در تحلیل‌گرهای نحوی
• 31. جدول نمادها و مدیریت داده‌های برنامه
• 32. تجزیه و تحلیل معنایی و بررسی نوع داده‌ها
• 33. محیط‌های زمان اجرا و مدیریت حافظه
• 34. تولید کد میانی و نمایش‌های ساختاری
• 35. بهینه‌سازی کد در سطح میانی
• 36. تولید کد هدف و تخصیص ثبات‌ها
• 37. ارتباط میان نظریه زبان‌ها و طراحی کامپایلرهای مدرن