Automata Theory

Engineering Wale Baba

දැන්වීම් අඩංගුය

මෙම යෙදුම ගැන

මෙම ස්වයංක්‍රීය න්‍යාය යෙදුම සැලසුම් කර ඇත්තේ ඉක්මන් ඉගෙනීම, සංශෝධන, විභාග සහ සම්මුඛ පරීක්ෂණ වලදී යොමු කිරීම් සඳහා ය.

ස්වයංක්‍රීය න්‍යාය ගණනය කිරීම, සම්පාදක ඉදිකිරීම, කෘතිම බුද්ධිය, විග්‍රහ කිරීම සහ විධිමත් සත්‍යාපනය පිළිබඳ න්‍යාය තුළ ප්‍රධාන කාර්යභාරයක් ඉටු කරයි. ස්වයංක්‍රීය න්‍යාය යනු විෂය පිළිබඳ වේගවත් ඉගෙනීම සහ මාතෘකා ඉක්මනින් සංශෝධනය කිරීමයි. මාතෘකා නිර්මාණය කර ඇත්තේ විෂය ඉක්මනින් අවශෝෂණය කර ගැනීම සඳහා ය.

Automata Theory යෙදුම Automata හි මාතෘකා 138 විස්තරාත්මකව ආවරණය කරයි. මෙම මාතෘකා 138 ඒකක 5 කට බෙදා ඇත.

මෙම යෙදුම අදාළ මාතෘකා බොහොමයක් සහ සියලු මූලික මාතෘකා සමඟ සවිස්තරාත්මක පැහැදිලි කිරීමක් ආවරණය කරයි.

ස්වයංක්‍රීය න්‍යාය යෙදුමේ ආවරණය කර ඇති සමහර මාතෘකා වන්නේ:

1. ස්වයංක්‍රීය න්‍යාය සහ විධිමත් භාෂා හැඳින්වීම
2. Finite automata
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. NFAs to Regular Expression
25. ද්වි-මාර්ග ෆිනයිට් ඔටෝමේටා
26. නිමැවුම් සහිත පරිමිත ස්වයංක්‍රීයකරණය
27. නිත්‍ය කට්ටලවල ගුණ (භාෂා)
28. ලෙම්මා පොම්ප කිරීම
29. නිත්‍ය භාෂා වල වසන ගුණාංග
30. Myhill-Nerode Theorem-1
31. සන්දර්භය-නිදහස් ව්‍යාකරණ පිළිබඳ හැඳින්වීම
32. වම්-රේඛීය ව්‍යාකරණ දකුණු-රේඛීය ව්‍යාකරණ බවට පරිවර්තනය කිරීම
33. ව්යුත්පන්න ගස
34. විග්‍රහ කිරීම
35. අපැහැදිලි බව
36. CFG සරල කිරීම
37. සාමාන්ය ආකෘති
38. Greibach සාමාන්ය ආකෘතිය
39. Pushdown Automata
40. NPDA සඳහා සංක්‍රාන්ති කාර්යයන්
41. NPDA ක්‍රියාත්මක කිරීම
42. pda සහ සන්දර්භය නිදහස් භාෂාව අතර සම්බන්ධතාවය
43. CFG සිට NPDA
44. NPDA සිට CFG
45. සන්දර්භය-නිදහස් භාෂා වල ගුණාංග
46. ​​ලෙම්මා පොම්ප කිරීමේ සාධනය
47. ලෙම්මා පොම්ප කිරීම භාවිතා කිරීම
48. dicition Algorithms
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. Tautology, ප්රතිවිරෝධතා සහ හදිසි අවස්ථාව
73. තාර්කික අනන්‍යතා
74. තාර්කික නිගමනය
75. පුරෝකථන සහ ප්‍රමාණාත්මක
76. Quantifier සහ logical operators
77. සාමාන්ය ආකෘති
78. මීලි සහ මුවර් යන්ත්‍රය
79. Myhill-Nerode theorem
80. තීරණ ඇල්ගොරිතම
81. ε-චලන සහිත NFA
82. ද්විමය සම්බන්ධතා මූලික කරුණු
83. සංක්‍රාන්ති සහ අදාළ සංකල්ප
84. සමානාත්මතාවය (පෙර ඇණවුම සහ සමමිතිය)
85. යන්ත්‍ර අතර බල සම්බන්ධතාවය
86. පුනරාවර්තනය සමඟ කටයුතු කිරීම
87. Y ක්රියාකරු
88. අවම ස්ථාවර ලක්ෂ්‍යය
89. දෝෂ නිවැරදි කිරීම DFAs
90. අවසාන ආවර්තිතා සහ ඩීඑෆ්ඒ
91. ස්වයංක්‍රීය/තර්ක සම්බන්ධතාව
92. ද්විමය තීරණ රූප සටහන් (BDDs)
93. BDDs මත මූලික මෙහෙයුම්
94. ස්ථාවර ලක්ෂ්‍යයක ස්ථායීකරණය
95. විධිමත් භාෂා සහ යන්ත්‍ර පිළිබඳ වර්ගීකරණයක්
96. Push-down Automata හැඳින්වීම
97. දකුණු සහ වම් රේඛීය CFGs
98. CFG සංවර්ධනය කිරීම
99. CFL සඳහා Pumping Lemma
100. CFL සඳහා Pumping Lemma
101. පිළිගැනීම, නතර කිරීම, ප්රතික්ෂේප කිරීම

චරිත සීමාවන් නිසා සියලුම මාතෘකා ලැයිස්තුගත කර නොමැත.

මෙම යෙදුම ඉක්මන් යොමු කිරීම සඳහා ප්රයෝජනවත් වනු ඇත. සියලුම සංකල්ප සංශෝධනය කිරීම මෙම යෙදුම භාවිතයෙන් පැය කිහිපයක් ඇතුළත අවසන් කළ හැකිය.

අපට අඩු ශ්‍රේණිගත කිරීමක් ලබා දෙනවා වෙනුවට, කරුණාකර ඔබගේ විමසුම්, ගැටළු අපට තැපැල් කර වටිනා ශ්‍රේණිගත කිරීම් සහ යෝජනා අපට ලබා දෙන්න, එබැවින් අපට එය අනාගත යාවත්කාලීන සඳහා සලකා බැලිය හැකිය. ඔබ වෙනුවෙන් ඒවා විසඳීමට අපි සතුටු වන්නෙමු.