کتاب صوتی مبانی تئوری II: پیشرفت در زبان‌های صوری و کاربردهای آن

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

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

عنوان دوره: دوره مبانی تئوری II: پیشرفت در زبان‌های صوری و کاربردهای آن

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

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

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر زبان‌های صوری و ماشین‌های متناهی
• 2. ساختارهای داده و الگوریتم‌های اساسی
• 3. مفاهیم پایهٔ نظریهٔ محاسبات
• 4. مقدمه بر ماشین‌های متناهی قطعی (DFA)
• 5. طراحی و تحلیل DFA
• 6. معادل‌سازی DFA و NFA
• 7. مقدمه بر ماشین‌های متناهی غیرقطعی (NFA)
• 8. تبدیل NFA به DFA
• 9. مفهوم زبان‌های منظم
• 10. عبارات منظم
• 11. تبدیل عبارات منظم به NFA
• 12. تبدیل NFA به عبارات منظم
• 13. قضایای کلین و کاربردهای آن
• 14. قانون پمپ برای زبان‌های منظم
• 15. اثبات عدم تعلق زبان به کلاس زبان‌های منظم
• 16. قضایای کلین در عمل
• 17. مقدمه بر گرامرهای مستقل از متن (CFG)
• 18. ساختارهای نحوی و تجزیه (Parsing)
• 19. گرامرهای مستقل از متن و ساختار درختی
• 20. قانون پمپ برای زبان‌های مستقل از متن
• 21. اثبات عدم تعلق زبان به کلاس زبان‌های مستقل از متن
• 22. تحلیل پایین به بالا (Bottom-up Parsing)
• 23. تحلیل بالا به پایین (Top-down Parsing)
• 24. پایین‌دست‌ساز (LR Parsers)
• 25. بالادست‌ساز (LL Parsers)
• 26. مقدمه بر ماشین‌های پشته‌ای (Pushdown Automata)
• 27. رابطهٔ PDA و CFG
• 28. پیکربندی PDA و مراحل اجرا
• 29. قضایای اساسی در مورد PDA
• 30. کاربرد PDA در تحلیل نحوی
• 31. مقدمه بر ماشین‌های تورینگ (Turing Machines)
• 32. مفهوم محاسبه‌پذیری
• 33. مدل استاندارد ماشین تورینگ
• 34. عملیات ماشین تورینگ
• 35. زبان‌های بازگشتی شمارا (Recursively Enumerable Languages)
• 36. ماشین‌های تورینگ چند-نوار
• 37. ماشین‌های تورینگ غیرقطعی
• 38. هم‌ارزی مدل‌های مختلف محاسبه
• 39. مشکل توقف (Halting Problem)
• 40. ناقابل حل بودن مشکل توقف
• 41. قضایای عدم امکان (Undecidability Theorems)
• 42. مقدمه بر پیچیدگی محاسباتی
• 43. کلاس‌های پیچیدگی P و NP
• 44. مسئلهٔ انطباق (Satisfiability Problem)
• 45. مسائل NP-کامل
• 46. اثبات NP-کامل بودن مسائل
• 47. کاربردهای عملی نظریهٔ پیچیدگی
• 48. بهینه‌سازی و الگوریتم‌های تقریبی
• 49. مقدمه بر نظریهٔ زبان‌های صوری پیشرفته
• 50. گرامرهای حساس به متن (Context-Sensitive Grammars)
• 51. ماشین‌های تورینگ خطی محدود (Linear Bounded Automata)
• 52. رابطهٔ CSG و LBA
• 53. زبان‌های حساس به متن
• 54. مقدمه بر نظریهٔ زبان‌های بازگشتی (Recursive Languages)
• 55. ماشین‌های تورینگ با محدودیت زمانی
• 56. مفهوم پیچیدگی زمانی (Time Complexity)
• 57. کلاس‌های پیچیدگی زمانی
• 58. مقدمه بر نظریهٔ پیچیدگی مکانی (Space Complexity)
• 59. کلاس‌های پیچیدگی مکانی
• 60. رابطهٔ پیچیدگی زمانی و مکانی
• 61. مقدمه بر نظریهٔ زبان‌های اتوماتای سلولی
• 62. مدل‌های اتوماتای سلولی
• 63. کاربردهای اتوماتای سلولی
• 64. مقدمه بر نظریهٔ زبان‌های اتوماتای گرافی
• 65. مدل‌های اتوماتای گرافی
• 66. کاربردهای اتوماتای گرافی
• 67. مقدمه بر نظریهٔ اتوماتای کوانتومی
• 68. مدل‌های اتوماتای کوانتومی
• 69. کاربردهای اتوماتای کوانتومی
• 70. مقدمه بر نظریهٔ زبان‌های اتوماتای زیستی
• 71. مدل‌های اتوماتای زیستی
• 72. کاربردهای اتوماتای زیستی
• 73. مقدمه بر نظریهٔ زبان‌های اتوماتای مولکولی
• 74. مدل‌های اتوماتای مولکولی
• 75. کاربردهای اتوماتای مولکولی
• 76. مقدمه بر نظریهٔ زبان‌های اتوماتای آمیب
• 77. مدل‌های اتوماتای آمیب
• 78. کاربردهای اتوماتای آمیب
• 79. مقدمه بر نظریهٔ زبان‌های اتوماتای فراکتالی
• 80. مدل‌های اتوماتای فراکتالی
• 81. کاربردهای اتوماتای فراکتالی
• 82. مقدمه بر نظریهٔ زبان‌های اتوماتای تصادفی
• 83. مدل‌های اتوماتای تصادفی
• 84. کاربردهای اتوماتای تصادفی
• 85. مقدمه بر نظریهٔ زبان‌های اتوماتای توزیع‌شده
• 86. مدل‌های اتوماتای توزیع‌شده
• 87. کاربردهای اتوماتای توزیع‌شده
• 88. مقدمه بر نظریهٔ زبان‌های اتوماتای همگرا
• 89. مدل‌های اتوماتای همگرا
• 90. کاربردهای اتوماتای همگرا
• 91. مقدمه بر نظریهٔ زبان‌های اتوماتای خودمختار
• 92. مدل‌های اتوماتای خودمختار
• 93. کاربردهای اتوماتای خودمختار
• 94. مقدمه بر نظریهٔ زبان‌های اتوماتای تطبیقی
• 95. مدل‌های اتوماتای تطبیقی
• 96. کاربردهای اتوماتای تطبیقی
• 97. مقدمه بر نظریهٔ زبان‌های اتوماتای یادگیرنده
• 98. مدل‌های اتوماتای یادگیرنده
• 99. کاربردهای اتوماتای یادگیرنده
• 100. مقدمه بر نظریهٔ زبان‌های اتوماتای تکاملی