فلش‌کارت‌های آموزشی ماشین‌های تورینگ و پیچیدگی محاسباتی

📚 کتاب آموزشی جامع

📚 اطلاعات کتاب

عنوان کتاب: کتاب ماشین‌های تورینگ و پیچیدگی محاسباتی

موضوع کلی: مبانی نظریه علوم کامپیوتر

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

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

• 1. مقدمه‌ای بر محاسبات
• 2. مفهوم محاسبه
• 3. مدل‌های محاسبه
• 4. ماشین تورینگ
• 5. مفهوم زبان
• 6. زبان‌های رسمی
• 7. گرامرها
• 8. قوانین تولید
• 9. دسته‌بندی چامسکی
• 10. ماشین‌های متناهی قطعی (DFA)
• 11. ماشین‌های متناهی غیرقطعی (NFA)
• 12. هم‌ارزی DFA و NFA
• 13. عبارات منظم
• 14. ساخت DFA از عبارت منظم
• 15. ساخت عبارت منظم از DFA
• 16. تحلیل لغوی
• 17. زبان‌های مستقل از متن (CFL)
• 18. گرامرهای مستقل از متن (CFG)
• 19. شکل نرمال چامسکی (CNF)
• 20. شکل نرمال گرایباخ (GNF)
• 21. پایین‌ترین مشتق (Leftmost derivation)
• 22. بالاترین مشتق (Rightmost derivation)
• 23. درخت تجزیه (Parse tree)
• 24. اشباع (Ambiguity)
• 25. زبان‌های مستقل از متن قابل تشخیص
• 26. ماشین‌های پشته‌ای (Pushdown Automata - PDA)
• 27. هم‌ارزی PDA و CFG
• 28. زبان‌های حساس به متن (CSL)
• 29. ماشین‌های خطی محدود (LBA)
• 30. هم‌ارزی LBA و CSL
• 31. زبان‌های بازگشتی شمارشی (Recursively Enumerable - RE)
• 32. ماشین تورینگ (TM)
• 33. انواع ماشین تورینگ
• 34. ماشین تورینگ چند نواری
• 35. ماشین تورینگ با فضای نامحدود
• 36. ماشین تورینگ با زمان نامحدود
• 37. ماشین تورینگ جهانی (Universal Turing Machine)
• 38. محاسبه‌پذیری
• 39. مسائل قابل تصمیم‌گیری
• 40. مسائل قابل گنجایش (Enumerable)
• 41. مسائل ناممکن (Undecidable)
• 42. مسئله توقف (Halting Problem)
• 43. مسائل ناپذیر (Unsolvable)
• 44. مفهوم کاهش (Reduction)
• 45. کاهش چندجمله‌ای (Polynomial-time reduction)
• 46. پیچیدگی محاسباتی
• 47. طبقه‌بندی پیچیدگی
• 48. کلاس P
• 49. کلاس NP
• 50. آزمون NP-completeness
• 51. مسائل NP-کامل
• 52. مسئله ارضای محدودیت (Satisfiability - SAT)
• 53. مسئله ارضای محدودیت بولی (Boolean Satisfiability - SAT)
• 54. مسئله ارضای محدودیت n-متغیر n-عبارت (3-SAT)
• 55. مسئله فروشنده دوره‌گرد (Traveling Salesperson Problem - TSP)
• 56. مسئله رنگ‌آمیزی گراف (Graph Coloring)
• 57. مسئله پوشش راس (Vertex Cover)
• 58. مسئله زیرمجموعه جمع (Subset Sum)
• 59. مسئله برش بیشینه (Maximum Cut)
• 60. کلاس PSPACE
• 61. کلاس EXPTIME
• 62. کلاس L
• 63. کلاس NL
• 64. کلاس AC
• 65. کلاس NC
• 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. شیمی محاسباتی