Automata Theory

Engineering Wale Baba‏

آگهی دارد

درباره این برنامه

این برنامه تئوری Automata برای یادگیری سریع، تجدید نظر، مراجع در زمان امتحانات و مصاحبه ها طراحی شده است.

نظریه اتوماتا نقش عمده ای در تئوری محاسبات، ساخت کامپایلر، هوش مصنوعی، تجزیه و تایید رسمی ایفا می کند. تئوری خودکار یادگیری سریعتر موضوع و تجدید نظر سریع موضوعات است. موضوعات به گونه ای ایجاد می شوند که به سرعت موضوع را جذب کنند.

برنامه Automata Theory 138 موضوع Automata را به طور مفصل پوشش می دهد. این 138 موضوع در 5 واحد تقسیم شده است.

این برنامه اکثر موضوعات مرتبط و توضیحات مفصل را با تمام موضوعات اولیه پوشش می دهد.

برخی از موضوعاتی که در برنامه تئوری Automata تحت پوشش قرار می گیرند عبارتند از:

1. مقدمه ای بر تئوری خودکار و زبان های رسمی
2. اتوماتای ​​محدود
3. خودکار حالت محدود قطعی (DFA)
4. مجموعه
5. روابط و کارکردها
6. رفتار مجانبی توابع
7. گرامر
8. نمودارها
9. زبان ها
10. خودکار متناهی غیر قطعی
11. رشته ها و زبان ها
12. منطق بولی
13. سفارشات رشته ها
14. عملیات روی زبان ها
15. کلین استار
16. هممورفیسم
17. ماشین آلات
18. قدرت DFA ها
19. انواع ماشینی که زبان های غیر عادی را می پذیرند
20. معادل سازی NFA و DFA
21. عبارات منظم
22. عبارات و زبان های منظم
23. ساخت عبارات با قاعده
24. NFAs به Regular Expression
25. اتوماتای ​​محدود دو طرفه
26. اتومات محدود با خروجی
27. ویژگی های مجموعه های منظم (زبان ها)
28. پمپاژ لم
29. ویژگی های بسته شدن زبان های معمولی
30. قضیه Myhill-Nerode-1
31. مقدمه ای بر گرامرهای بدون متن
32. تبدیل گرامر چپ-خطی به گرامر راست-خطی
33. درخت مشتق
34. تجزیه
35. ابهام
36. ساده سازی CFG
37. اشکال عادی
38. فرم نرمال گریباخ
39. Pushdown Automata
40. توابع انتقال برای NPDA
41. اجرای NPDA
42. رابطه بین pda و زبان آزاد زمینه
43. CFG به NPDA
44. NPDA به CFG
45. ویژگی های زبان های بدون بافت
46. ​​اثبات پمپاژ لم
47. استفاده از لمای پمپاژ
48. الگوریتم های تصمیم گیری
49. ماشین تورینگ
50. برنامه نویسی ماشین تورینگ
51. ماشین های تورینگ به عنوان مبدل
52. زبان و توابع کامل
53. اصلاح ماشین های تورینگ
54. پایان نامه کلیسای تورینگ
55. شمارش رشته ها در یک زبان
56. مشکل توقف
57. قضیه رایس
58. گرامر و زبان های حساس به متن
59. سلسله مراتب چامسکی
60. دستور زبان نامحدود
61. مقدمه ای بر نظریه پیچیدگی
62. الگوریتم زمان چند جمله ای
63. رضایت بولی
64. مشکل NP اضافی
65. سیستم های رسمی
66. ترکیب و بازگشت
67. قضیه آکرمن
68. گزاره ها
69. مثالی از خودکارهای محدود غیر قطعی
70. تبدیل NFA به DFA
71. رابط
72. توتولوژی، تضاد و احتمال
73. هویت های منطقی
74. استنتاج منطقی
75. محمول و مقدار
76. کمی سازها و عملگرهای منطقی
77. اشکال عادی
78. Mealy and Moore Machine
79. قضیه میهیل-نرود
80. الگوریتم های تصمیم گیری
81. NFA با حرکات ε
82. مبانی رابطه باینری
83. مفاهیم متعدی و مرتبط
84. معادل (پیش سفارش به علاوه تقارن)
85. رابطه قدرت بین ماشین ها
86. برخورد با بازگشت
87. عملگر Y
88. کمترین نقطه ثابت
89. DFA های تصحیح کننده خطا
90. تناوبی نهایی و DFAها
91. اتصال خودکار/منطقی
92. نمودارهای تصمیم دودویی (BDD)
93. عملیات اساسی در BDD
94. تثبیت در یک نقطه ثابت
95. طبقه بندی زبان ها و ماشین های رسمی
96. مقدمه ای بر خودکارهای فشاری پایین
97. CFGهای خطی راست و چپ
98. توسعه CFGs
99. A Pumping Lemma برای CFLs
100. لمای پمپاژ برای CFLها
101. پذیرش، توقف، رد

همه موضوعات به دلیل محدودیت کاراکتر فهرست نشده اند.

این برنامه برای مرجع سریع مفید خواهد بود. با استفاده از این برنامه می توان در عرض چند ساعت بازبینی همه مفاهیم را به پایان رساند.

به جای اینکه به ما امتیاز کمتری بدهید، لطفاً سؤالات، مشکلات خود را برای ما ایمیل کنید و رتبه و پیشنهادهای ارزشمندی را به ما بدهید تا بتوانیم آن را برای به‌روزرسانی‌های آینده در نظر بگیریم. ما خوشحال خواهیم شد که آنها را برای شما حل کنیم.