Automata Theory

Engineering Wale Baba

Утрымлівае аб’явы

Пра гэту праграму

Гэта дадатак тэорыі аўтаматаў прызначана для хуткага навучання, пераглядаў, даведак падчас экзаменаў і інтэрв'ю.

Тэорыя аўтаматаў гуляе важную ролю ў тэорыі вылічэнняў, пабудове кампілятара, штучным інтэлекту, аналізе і фармальнай праверцы. Тэорыя аўтаматаў - гэта больш хуткае вывучэнне прадмета і хуткія перагляды тэм. Тэмы створаны такім чынам, каб хутка засвойваць прадмет.

Праграма Automata Theory падрабязна ахоплівае 138 тэм Automata. Гэтыя 138 тэм падзеленыя на 5 блокаў.

Гэта дадатак ахоплівае большасць сумежных тэм і падрабязнае тлумачэнне з усімі асноўнымі тэмамі.

Некаторыя з тэм, якія разглядаюцца ў дадатку тэорыі аўтаматаў:

1. Уводзіны ў тэорыю аўтаматаў і фармальныя мовы
2. Канчатковыя аўтаматы
3. Дэтэрмінаваны канчатковы аўтамат (DFA)
4. Наборы
5. Адносіны і функцыі
6. Асімптатычнае паводзіны функцый
7. Граматыка
8. Графікі
9. Мовы
10. Недэтэрмінаваны канечны аўтамат
11. Радкі і мовы
12. Булева логіка
13. Замовы на струны
14. Аперацыі над мовамі
15. Клін Зорка
16. Гамамарфізм
17. Машыны
18. Сіла ДФА
19. Тыпы машын, якія прымаюць нерэгулярныя мовы
20. Эквівалентнасць NFA і DFA
21. Рэгулярныя выразы
22. Рэгулярныя выразы і мовы
23. Пабудова рэгулярных выразаў
24. НФА ў рэгулярныя выразы
25. Двухбаковы канчатковы аўтамат
26. Канчатковыя аўтаматы з выхадам
27. Уласцівасці рэгулярных мностваў (Мовы)
28. Лема пра накачку
29. Уласцівасці замыкання рэгулярных моў
30. Тэарэма Міхіла-Нерода-1
31. Уводзіны ў бескантэкстныя граматыкі
32. Ператварэнне левалінейнай граматыкі ў правалінейную граматыку
33. Дрэва вытвораў
34. Разбор
35. Неадназначнасць
36. Спрашчэнне CFG
37. Нармальныя формы
38. Нармальная форма Грайбаха
39. Pushdown Automata
40. Функцыі пераходу для NPDA
41. Выкананне NPDA
42. Сувязь паміж КПК і кантэкстна-вольнай мовай
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. Дадатковая задача НП
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. Двайковыя дыяграмы рашэнняў (BDD)
93. Асноўныя аперацыі над BDD
94. Стабілізацыя ў фіксаванай кропцы
95. Таксаномія фармальных моў і машын
96. Уводзіны ў Push-down Automata
97. Права- і левалінейныя CFG
98. Распрацоўка CFG
99. Лема пра накачку для КЛЛ
100. Лема пра накачку для КЛЛ
101. Прыняцце, прыпыненне, непрыняцце

Усе тэмы не ў спісе з-за абмежавання сімвалаў.

Гэта дадатак будзе карысна для хуткай даведкі. Перагляд усіх канцэпцый можа быць завершаны на працягу некалькіх гадзін з дапамогай гэтага прыкладання.

Замест таго, каб даваць нам больш нізкі рэйтынг, калі ласка, дасылайце нам свае запыты, праблемы і дайце нам каштоўную ацэнку і прапановы, каб мы маглі разгледзець гэта для будучых абнаўленняў. Мы будзем рады вырашыць іх для вас.