فلش‌کارت‌های آموزشی مبانی نظریه زبان‌های رسمی و اتوماتای متناهی

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

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

عنوان کتاب: کتاب مبانی نظریه زبان‌های رسمی و اتوماتای متناهی

موضوع کلی: علوم کامپیوتر

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

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

• 1. مقدمه ای بر نظریه زبان های رسمی
• 2. مفاهیم پایه ای زبان
• 3. تعریف زبان
• 4. زبان های متناهی
• 5. عملیات روی زبان ها
• 6. زبان های نامتناهی
• 7. مفاهیم پایه ای اتومات
• 8. تعریف اتومات متناهی
• 9. حالت های اتومات
• 10. الفبا
• 11. رشته ها
• 12. زبان های منظم
• 13. عبارات منظم
• 14. قوانین ساخت عبارات منظم
• 15. زبان های تولید شده توسط عبارات منظم
• 16. برابری عبارات منظم و زبان های منظم
• 17. تبدیل عبارات منظم به اتومات متناهی
• 18. تبدیل اتومات متناهی به عبارات منظم
• 19. قضیه پمپ برای زبان های منظم
• 20. کاربرد قضیه پمپ
• 21. شناسایی زبان های غیر منظم
• 22. اتومات متناهی قطعی (DFA)
• 23. تعریف DFA
• 24. تابع انتقال DFA
• 25. حالت های پذیرش DFA
• 26. مثال های DFA
• 27. اتومات متناهی غیرقطعی (NFA)
• 28. تعریف NFA
• 29. تابع انتقال NFA
• 30. حالت های پذیرش NFA
• 31. مثال های NFA
• 32. رابطه بین DFA و NFA
• 33. تبدیل NFA به DFA
• 34. ان کوچک (epsilon-transitions)
• 35. NFA با ان کوچک
• 36. تبدیل NFA با ان کوچک به NFA بدون ان کوچک
• 37. تبدیل NFA با ان کوچک به DFA
• 38. حذف حالت های مرده (dead states)
• 39. حذف حالت های بی فایده (unproductive states)
• 40. مینیمال سازی DFA
• 41. تعریف DFA مینیمال
• 42. الگوریتم مینیمال سازی DFA
• 43. برابری DFA های مینیمال
• 44. حذف حالت های غیرقابل دسترس (unreachable states)
• 45. طراحی DFA برای زبان های ساده
• 46. زبان های توالی های خاص
• 47. زبان های شامل زیررشته های خاص
• 48. زبان های شامل پیشوندهای خاص
• 49. زبان های شامل پسوندهای خاص
• 50. زبان های شمارش شده
• 51. زبان های با تعداد زوج/فرد
• 52. زبان های با طول خاص
• 53. زبان های منظم و کاربردهای آن
• 54. طراحی ماشین های فروش خودکار
• 55. تشخیص الگو در متن
• 56. طراحی پروتکل های ارتباطی
• 57. مقدمه ای بر گرامرهای مستقل از متن (CFG)
• 58. تعریف گرامر
• 59. قوانین تولید
• 60. متغیرها (non-terminals)
• 61. ترمینال ها (terminals)
• 62. نماد شروع (start symbol)
• 63. مشتق پذیری (derivability)
• 64. درخت تجزیه (parse tree)
• 65. زبان های تولید شده توسط CFG
• 66. مثال های CFG
• 67. زبان های غیر منظم و CFG
• 68. CFG های ساده
• 69. CFG برای زبان های پرانتزی
• 70. CFG برای زبان های پالیندروم
• 71. CFG برای زبان های با تعداد برابر
• 72. CFG برای زبان های با ساختار تودرتو
• 73. قضیه پمپ برای زبان های مستقل از متن
• 74. کاربرد قضیه پمپ
• 75. شناسایی زبان های غیر مستقل از متن
• 76. گرامرهای بدون ابهام (unambiguous grammars)
• 77. گرامرهای مبهم (ambiguous grammars)
• 78. اهمیت گرامرهای بدون ابهام
• 79. تبدیل گرامرهای مبهم به بدون ابهام
• 80. فرم نرمال چامسکی (CNF)
• 81. فرم نرمال گرایباخ (GNF)
• 82. تبدیل CFG به CNF
• 83. تبدیل CFG به GNF
• 84. کاربرد فرم های نرمال
• 85. مقدمه ای بر اتوماتای پشته ای (Pushdown Automata - PDA)
• 86. تعریف PDA
• 87. حالت ها
• 88. الفبا
• 89. پشته (stack)
• 90. قوانین انتقال
• 91. تابع انتقال PDA
• 92. PDA های قطعی (DPDA)
• 93. PDA های غیرقطعی (NPDA)
• 94. رابطه بین DPDA و NPDA
• 95. برابری PDA و CFG
• 96. تبدیل CFG به PDA
• 97. تبدیل PDA به CFG
• 98. زبان های مستقل از متن و PDA
• 99. کاربردهای PDA
• 100. تحلیل نحوی (parsing)