Automata Theory

Engineering Wale Baba

Зар агуулсан

Энэ аппын тухай

Энэхүү Automata онолын програм нь шалгалт, ярилцлагын үеэр хурдан суралцах, засварлах, лавлагаа авахад зориулагдсан болно.

Автоматын онол нь тооцоолол, хөрвүүлэгчийн бүтэц, хиймэл оюун ухаан, задлан шинжлэх, албан ёсны баталгаажуулалтын онолд чухал үүрэг гүйцэтгэдэг. Автоматын онол нь тухайн сэдвийг илүү хурдан сурч, сэдвүүдийг хурдан засах явдал юм. Сэдвүүд нь тухайн сэдвийг хурдан шингээх байдлаар бүтээгдсэн.

Automata Theory програм нь Automata-ийн 138 сэдвийг нарийвчлан тусгасан болно. Эдгээр 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 to Regular Expression
25. Хоёр талын төгсгөлтэй автомат
26. Гаралттай төгсгөлийн автоматууд
27. Тогтмол олонлогийн шинж чанарууд (Хэлнүүд)
28. Лемма шахах
29. Энгийн хэлний хаалтын шинж чанар
30. Майхилл-Неродын теорем-1
31. Контекстгүй дүрмийн танилцуулга
32. Зүүн шугаман дүрмийг баруун шугаман дүрэм болгон хөрвүүлэх
33. Үүсмэлийн мод
34. Шинжилгээ
35. Хоёрдмол байдал
36. CFG-ийг хялбарчлах
37. Хэвийн маягтууд
38. Greibach хэвийн хэлбэр
39. Дарах автомат
40. NPDA-д зориулсан шилжилтийн функцууд
41. NPDA-ийн гүйцэтгэл
42. pda болон контекст чөлөөт хэлний хоорондын хамаарал
43. CFG to NPDA
44. NPDA-аас CFG
45. Контекстгүй хэлний шинж чанарууд
46. ​​Лемма шахах тухай баталгаа
47. Lemma-ийн шахуургын хэрэглээ
48. dicision Algorithms
49. Тюринг машин
50. Тюринг машиныг програмчлах
51. Тюринг машинууд хувиргагчид
52. Бүрэн хэл ба функцууд
53. Турингийн машинуудын өөрчлөлт
54. Church-turing dissertation
55. Хэл дэх мөрүүдийг тоолох
56. Зогсоох асуудал
57. Райсын теорем
58. Контекст мэдрэмтгий дүрэм, хэл
59. Chomsky hirarhy
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 машин
79. Майхилл-Неродын теорем
80. Шийдвэр гаргах алгоритмууд
81. ε-хөдөлгөөнтэй NFA
82. Хоёртын харилцааны үндэс
83. Шилжилтийн болон холбогдох ойлголтууд
84. Эквивалент (Урьдчилсан захиалга нэмэх тэгш хэм)
85. Машинуудын хоорондох эрчим хүчний хамаарал
86. Рекурсийг шийдвэрлэх
87. Y оператор
88. Хамгийн бага тогтмол цэг
89. Алдаа засах DFA
90. Төгсгөлийн үечлэл ба DFA
91. Автомат/Логик холболт
92. Хоёртын шийдвэрийн диаграммууд (BDDs)
93. BDD-ийн үндсэн үйлдлүүд
94. Тогтвортой цэг дээр тогтворжуулах
95. Албан ёсны хэл ба машинуудын ангилал зүй
96. Доошоо түлхэх автоматуудын танилцуулга
97. Баруун ба зүүн шугаман CFG
98. CFGs боловсруулах
99. CFL-д зориулсан шахах лемма
100. CFL-д зориулсан шахах лемма
101. Хүлээн зөвшөөрөх, зогсоох, татгалзах

Тэмдэгтийн хязгаарлалттай тул бүх сэдвийг жагсаагаагүй.

Энэ аппликейшн нь хурдан лавлахад хэрэгтэй болно. Энэ програмыг ашиглан бүх үзэл баримтлалын засварыг хэдэн цагийн дотор хийж болно.

Бидэнд бага үнэлгээ өгөхийн оронд асуулт, асуудлаа бидэнд шуудангаар илгээж, үнэ цэнэтэй үнэлгээ, санал хүсэлтээ илгээнэ үү. Бид таны өмнөөс тэдгээрийг шийдвэрлэхдээ баяртай байх болно.