Automata Theory App нь Мэдээллийн технологи (IT), Компьютерийн шинжлэх ухааны инженерчлэл, дискрет математик, Математикийн оюутнуудад зориулсан Автомататын онолын сэдвээр хичээлийн тэмдэглэл, гарын авлага юм. Энэ нь чухал сэдэв, тэмдэглэл, мэдээ, блог авчирдаг инженерийн боловсролын нэг хэсэг юм.
Автомататын онол нь тооцооллын онол, хөрвүүлэгчийн барилга байгууламж, хиймэл оюун ухаан, задлан шинжлэх, албан ёсны баталгаажуулалтад чухал үүрэг гүйцэтгэдэг. Автомататын онол нь тухайн сэдвийг илүү хурдан судалж, сэдвүүдийг хурдан засварлах явдал юм.
Google мэдээний хангамжаар дамжуулан таны апп дээрх олон улсын инженерчлэл, технологийн хамгийн сүүлийн үеийн мэдээг аваарай. Бид олон улсын / үндэсний коллеж, их дээд сургууль, судалгаа, үйлдвэрлэл, програм хангамж, инженерчлэл, технологи, нийтлэл, инновацийн талаар тогтмол шинэчлэлтүүдийг авах зорилгоор үүнийг өөрчлөн тохируулсан болно.
Автоматата онол бол урьдчилан тодорхойлсон дарааллыг автоматаар гүйцэтгэдэг хийсвэр өөрөө эргэдэг тооцоолох төхөөрөмжийг зохион бүтээхэд чиглэдэг компьютерийн шинжлэх ухааны салбар юм. Хязгаарлагдмал тооны мужууд бүхий автомат хэрэгслийг Төгсгөлтэй Автоматон гэж нэрлэдэг. Энэ бол товч бөгөөд товч сурах Автоматикийн онолын бүрэн эх үүсвэр бөгөөд энэ нь Тьюрингын машинууд дээр шилжихээсээ өмнө эцсийн автомат, ердийн хэл, Pushdown Automata гэсэн үндсэн ойлголтуудыг танилцуулдаг.
Энэхүү Automata Theory App нь онол ба математикийн онолын хооронд сайн тэнцвэртэй байдаг. Уншигчид дискрет математик бүтцийн талаархи үндсэн ойлголттой байх болно.
Автоматагийн онолоор дамжуулсан зарим сэдвүүд:
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. Тогтмол илэрхийлэлд хүрэх NFA
25. Хоёр талт эцсийн автомат
26. Гаралт бүхий эцсийн автомат
27. Ердийн багцуудын шинж чанар (Хэлнүүд)
28. Лемма шахах
29. Ердийн хэлний хаагдах шинж чанар
30. Myhill-Nerode теорем-1
31. Контекстгүй грамматикуудын танилцуулга
32. Зүүн шугаман грамматикийг баруун-шулуун грамматик болгон хөрвүүлэх
33. Деривийн мод
34. задлах
35. Хоёрдмол байдал
36. CFG-ийг хялбаршуулах
37. Ердийн хэлбэрүүд
38. Greibach хэвийн хэлбэр
39. Pushdown Automata
40. NPDA-ийн шилжилтийн функцууд
41. NPDA-ийн гүйцэтгэл
42. Пда болон контекст чөлөөт хэлний хоорондын харилцаа
43. CPG нь NPDA руу
44. CFG руу NPDA
45. Контекст агуулаагүй хэлний шинж чанарууд
46. Лемма шахах нотолгоо
47. Лемма шахах хэрэглээ
48. dicision алгоритмууд
49. Туушлах машин
50. Тьюринг хийх машиныг програмчлах
51. Туузан дамжуулагч машин
52. Бүрэн хэл ба функцууд
53. Турингийн машинуудын өөрчлөлт
54. Сүм хийцтэй холбоотой дипломын ажил
55. Хэл дээр тоологдох мөрүүд
56. Асуудлыг зогсоох
57. Райс теорем
58. Контекст мэдрэмтгий дүрмийн болон хэл
59. Chomsky хирирхи
60. Хязгааргүй дүрмийн дүрэм
61. Нарийн онолын талаархи танилцуулга
62. олон цаг хугацааны алгоритм
63. boolean satisfiablity
64. NP-ийн нэмэлт асуудал
65. Албан ёсны системүүд
66. Зохиол ба рекурсия
67. Аккерманн теорем
68. Санал
69. Тодорхой бус эцсийн автомататын жишээ
70. NFA-ийг DFA болгон хөрвүүлэх
71. Холболтууд
72. Таутологи, зөрчилдөөн ба нөхцөл байдал
73. Логик таних тэмдэг
74. Логик дүгнэлт
75. Урьдчилан таамаглал ба хэмжигч
76. Тоо хэмжээ ба логик операторууд
77. Ердийн хэлбэрүүд
78. Хоолны ба морьны машин
79. Myhill-Nerode теорем
80. Шийдвэрлэх алгоритмууд
81. NFA асуултууд
82. Хоёртын харилцааны үндэс
83. Шилжилтийн болон холбогдох ойлголт
84. Эквивалент байдал (Урьдчилан захиалах ба симметрия)
85. Машинуудын хоорондох цахилгаан холбоо
86. Рекурсивтай харьцах
Шинэчилсэн огноо
2020 оны 7-р сарын 4