📘 ස්වයංක්රීය න්යාය - (2025-2026 සංස්කරණය)
📚 Theory of Automata (2025-2026 Edition) යනු BSCS, BSIT, සහ Software Engineering සිසුන් මෙන්ම, ගණනය කිරීමේ සහ විධිමත් භාෂා න්යායේ ගණිතමය පදනම් ප්රගුණ කිරීමට කැමති ස්වයං-ඉගෙන ගන්නන් සඳහා නිර්මාණය කර ඇති විස්තීරණ විෂය නිර්දේශය පදනම් කරගත් පෙළපොතකි.
මෙම සංස්කරණය සවිස්තරාත්මක පැහැදිලි කිරීම්, උදාහරණ, MCQs සහ ප්රශ්නාවලිය ඇතුළත් න්යායාත්මක පදනම් සහ ප්රායෝගික තීක්ෂ්ණ බුද්ධිය සම්බන්ධ කරයි. සම්පාදක නිර්මාණය, කෘතිම බුද්ධිය සහ ඇල්ගොරිතම න්යාය වැනි ක්ෂේත්ර සඳහා අත්යවශ්ය වන - සිසුන් විසින් ගණනය කිරීම් ආකෘති නිර්මාණය කිරීමට, ස්වයංක්රීයකරණය සැලසුම් කිරීමට සහ භාෂා ධුරාවලිය විශ්ලේෂණය කිරීමට හැකියාව වර්ධනය කරනු ඇත.
සංකල්පීය පැහැදිලිකම සහ යෙදුම් ගැඹුර යන දෙකම සහතික කරමින් පරිමිත ස්වයංක්රීය හා සාමාන්ය භාෂාවලින් ටියුරින් යන්ත්ර, ගණනය කිරීමේ හැකියාව සහ චොම්ස්කිගේ ධුරාවලිය දක්වා ව්යුහගත ගමනක් පොත ඉදිරිපත් කරයි.
📂 පරිච්ඡේද සහ මාතෘකා
🔹 1 වන පරිච්ඡේදය: ස්වයංක්රීය සහ විධිමත් භාෂා හැඳින්වීම
- ස්වයංක්රීය න්යායේ වැදගත්කම
-ගණිතමය පූර්වාදර්ශ (කට්ටල, කාර්යයන්, සම්බන්ධතා, ප්රස්තාර)
-අක්ෂර, නූල් සහ භාෂා
- භාෂා වර්ගීකරණය සහ මෙහෙයුම්
🔹 2 පරිච්ඡේදය: නිත්ය භාෂා සහ පරිමිත ස්වයංක්රීයකරණය
-Deterministic Finite Automata (DFA)
-නිශ්චය නොවන පරිමිත ස්වයංක්රීය (NFA)
-ඩීඑෆ්ඒ සහ එන්එෆ්ඒ හි සමානාත්මතාවය
- නිත්ය ප්රකාශන සහ වීජීය නීති
-ඩීඑෆ්ඒ, එන්එෆ්ඒ සහ නිත්ය ප්රකාශන අතර පරිවර්තනය
- සංක්රාන්ති ප්රස්ථාර සහ ක්ලීන්ගේ ප්රමේයය
- සාමාන්ය භාෂා වල යෙදුම්
🔹 3 වන පරිච්ඡේදය: සාමාන්ය භාෂාවල ගුණ සහ සීමාවන්
සාමාන්ය භාෂා සඳහා ලෙමා පොම්ප කිරීම
- නිත්ය නොවන භාෂා
- වසා දැමීම සහ තීරණ ගැනීමේ ගුණාංග
-පරිවර්තක (ප්රතිදානය සහිත පරිමිත ස්වයංක්රීය)
-මුවර් සහ මීලි යන්ත්ර
🔹 4 වන පරිච්ඡේදය: සන්දර්භය-නිදහස් ව්යාකරණ සහ තල්ලු කිරීමේ ස්වයංක්රීයකරණය
- සන්දර්භය-නිදහස් ව්යාකරණ (CFGs) සහ ව්යුත්පන්න
- අපැහැදිලි බව සහ ව්යාකරණ සරල කිරීම
-සාමාන්ය ආකෘති (CNF, GNF)
-Pushdown Automata (PDA) සහ පිළිගැනීමේ ක්රම
-CFGs සහ PDA හි සමානාත්මතාවය
🔹 5 වන පරිච්ඡේදය: සන්දර්භය-නිදහස් භාෂා (CFLs)
-CFL වල ගුණ
CFL සඳහා Lemma පොම්ප කිරීම
- වසා දැමීම සහ තීරණ ගැනීමේ ගුණාංග
🔹 6 වන පරිච්ඡේදය: ටියුරින් යන්ත්ර සහ ඒවායේ ප්රභේද
- ටියුරින් යන්ත්ර ආකෘතිය සහ ගණනය කිරීම
-භාෂාව හඳුනාගැනීම ටී.එම්
- බහු-ටේප් සහ නිර්ණය නොවන ටියුරින් යන්ත්ර
- Universal Turing Machine
-ටීඑම් කේතනය සහ ප්රභේදවල සමානාත්මතාවය
🔹 7 වන පරිච්ඡේදය: ගණනය කිරීමේ හැකියාව සහ තීරණය කිරීමේ හැකියාව
- තීරණය කළ හැකි සහ තීරණය කළ නොහැකි ගැටළු
- නැවැත්වීමේ ගැටලුව
-පසු ලිපි හුවමාරු ගැටළුව (PCP)
- පුනරාවර්තන සහ පුනරාවර්තන ලෙස ගණන් කළ හැකි භාෂා
-අඩු කිරීමේ හැකියාව සහ එහි යෙදීම්
🔹 8 වන පරිච්ඡේදය: චොම්ස්කි ධුරාවලිය
-Type-0 සිට Type-3 භාෂා (RE, CS, CF, Regular)
- ව්යාකරණ ධුරාවලිය සහ සබඳතා
- චොම්ස්කි ධුරාවලියේ යෙදුම්
🌟 මෙම පොත/යෙදුම තෝරා ගන්නේ ඇයි?
✅ ශාස්ත්රීය තීක්ෂ්ණ බුද්ධිය සහිත සම්පූර්ණ විෂයමාලා ආවරණය
✅ MCQs, ප්රශ්නාවලිය, සහ සංකල්පමය ශක්තිමත් කිරීම සඳහා උදාහරණ
✅ ගණිතමය දෘඪතාව සහ පරිගණක බුද්ධිය කෙරෙහි සමබර අවධානයක්
✅ සිසුන්ට විභාග, ව්යාපෘති සහ පර්යේෂණ පදනම් සඳහා සූදානම් වීමට උපකාර කරයි
✅ ස්වයංක්රීය, විධිමත් භාෂා සහ ගණනය කිරීමේ හැකියාව ගවේෂණය කරන ඕනෑම කෙනෙකුට වඩාත් සුදුසුය
✍ මෙම යෙදුම කතුවරුන් විසින් ආභාෂය ලබා ඇත:
John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani, Michael Sipser
📥 දැන් බාගන්න!
ස්වයංක්රීය න්යාය (2025-2026 සංස්කරණය) සමඟින් ගණනය කිරීමේ පදනම ප්රගුණ කරන්න - ස්වයංක්රීය, විධිමත් භාෂා සහ පරිගණක හැකියාව සඳහා ඔබේ සම්පූර්ණ මාර්ගෝපදේශය.
යාවත්කාලීන කළේ
2025 ඔක් 11