Automata Theory App သည်သတင်းအချက်အလက်နည်းပညာ (အိုင်တီ)၊ ကွန်ပြူတာသိပ္ပံအင်ဂျင်နီယာဘာသာရပ်၊ သင်္ချာကျောင်းသားများအတွက်သင်္ချာနှင့်သင်္ချာကျောင်းသားများအတွက်စာသင်ခန်းမှတ်စုများနှင့်လက်စွဲစာအုပ်ဖြစ်သည်။ ၎င်းသည်အင်ဂျင်နီယာပညာ၏အစိတ်အပိုင်းဖြစ်ပြီးအရေးကြီးသည့်အကြောင်းအရာများ၊ မှတ်စုများ၊ အကြောင်းအရာနှင့်ပတ်သက်သောသတင်းနှင့်ဘလော့ဂ်များ။
Automata သီအိုရီသည်ကွန်ပျူတာ၏သီအိုရီတွင်အဓိကအခန်းကဏ္ plays မှပါ ၀ င်သည်။ Automata သီအိုရီသည်ပိုမိုမြန်ဆန်သောအကြောင်းအရာကိုလေ့လာခြင်းနှင့်အကြောင်းအရာများကိုလျင်မြန်စွာပြန်လည်သုံးသပ်ခြင်းဖြစ်သည်။
ဂူဂဲလ်သတင်း feeds မှစွမ်းအားရှိသောသင်၏အက်ပလီကေးရှင်းတွင်အပြည်ပြည်ဆိုင်ရာအင်ဂျင်နီယာနှင့်နည်းပညာသတင်းများရရှိပါလိမ့်မည်။ သင်၊ နိုင်ငံတကာ၊ အမျိုးသားကောလိပ်များ၊ တက္ကသိုလ်များ၊ သုတေသန၊ စက်မှုလုပ်ငန်း၊ အပလီကေးရှင်း၊ အင်ဂျင်နီယာ၊ နည်းပညာ၊
အလိုအလျောက်သီအိုရီသည်ကွန်ပျူတာသိပ္ပံဌာန၏အစိတ်အပိုင်းတစ်ခုဖြစ်သည်။ ၎င်းသည်ကြိုတင်သတ်မှတ်ထားသောစစ်ဆင်ရေးများကိုအလိုအလျောက်လိုက်နာသောစိတ္တဇကိုယ်ပိုင်တီထွင်ထားသောကွန်ပျူတာကိရိယာများကိုဒီဇိုင်းဆွဲသည်။ အကန့်အသတ်ရှိသောပြည်နယ်များကိုအလိုအလျောက်စနစ်ကိုအကန့်အသတ်အလိုအလျောက်ဟုခေါ်သည်။ ဤသည်တိုတိုကျစ်ပြီးသင်ယူသော Automata သီအိုရီအပြည့်အဝဖြစ်သည်။ ၎င်းသည် Turing စက်များနှင့် Decidability သို့မသွားမီ Finite Automata၊ ပုံမှန်ဘာသာစကားများနှင့် Pushdown Automata တို့၏အခြေခံသဘောတရားများကိုမိတ်ဆက်ပေးသည်။
ဒီ Automata သီအိုရီအက်ပလီကေးရှင်းသည်သီအိုရီနှင့်သင်္ချာဆိုင်ရာအကန့်အသတ်များအကြားကောင်းမွန်သောချိန်ခွင်ရှိသည်။ စာဖတ်သူများသည်ကွဲပြားခြားနားသောသင်္ချာဆိုင်ရာဖွဲ့စည်းတည်ဆောက်ပုံကိုအခြေခံနားလည်ရန်မျှော်လင့်ရသည်။
Automata သီအိုရီတွင်ဖော်ပြထားသောအကြောင်းအရာများမှာ -
၁။ automata သီအိုရီနှင့်တရားဝင်ဘာသာစကားများကိုမိတ်ဆက်ခြင်း
၂
၃ ။
၄
၅
၆
၇
၈
၉
10. Nondeterministic ကနျ့အလိုအလျောက်
၁၁
12. Boolean ယုတ္တိဗေဒ
Strings အတွက် 13 မှာယူမှု
14. ဘာသာစကားများအပေါ်စစ်ဆင်ရေး
15. Kleene Star၊ le à ‚¬ËœÃ ˈÃÃÃ၊
16. Homomorphism
၁၇ စက်
18. DFA ၏စွမ်းအား
၁၉။ ပုံမှန်မဟုတ်သောဘာသာစကားများကိုလက်ခံသောစက်အမျိုးအစားများ
20. NFA နှင့် DFA ၏ညီမျှမှု
၂၁
၂၂
၂၃။ ပုံမှန်အသုံးအနှုန်းများကိုတည်ဆောက်ခြင်း
၂၄။ ပုံမှန်ဖော်ပြမှုသို့ NFAs
25. Two- လမ်းကနျ့ Automata
Output နှင့်အတူ 26 ကနျ့ Automata
၂၇ ။
၂၈
၂၉။ ပုံမှန်ဘာသာစကား၏ပိတ်ထားသောဂုဏ်သတ္တိများ
30. Myhill-Nerode Theorem-1
ဆက်စပ် - အခမဲ့ Grammars မှ 31. နိဒါန်း
Left-linear Grammar ကို Right-Linear Grammar သို့ပြောင်းလဲခြင်း
33. အနကျအဓိပ်ပါယျသစ်ပင်
ဆန်းစစ်ခြင်း
35. မရေရာဒွိဟ
CFG ၏ 36. ရိုးရှင်းလွယ်ကူခြင်း
37. ပုံမှန်ပုံစံများ
38. Greibach ပုံမှန်ပုံစံ
39. Pushdown Automata
NPDA အတွက် 40. အသွင်ကူးပြောင်းမှု Functions များ
NPDA ၏ 41 Execution
pda နှင့်စကားစပ်မှလွတ်လပ်သောဘာသာစကားအကြားဆက်စပ်မှု
NPDA မှ 43 CFG
CFG မှ 44 NPDA
အခြေအနေမပါသောဘာသာစကားများ၏ဂုဏ်သတ္တိများ
Lemma Pumping ၏ 46. အထောက်အထား
Lemma Pumping ၏ 47. အသုံးပြုမှု
48. dicision Algorithms
49. Turing စက်
50. တစ် Turing စက် Programming
Transducer အဖြစ် 51. Turing စက်တွေ
52. ပြီးပြည့်စုံသောဘာသာစကားနှင့်လုပ်ဆောင်ချက်များကို
Turing စက်၏ 53. ပြုပြင်မွမ်းမံ
54 ဘုရားကျောင်း -turing စာတမ်း
ဘာသာစကားတစ်ခုအတွက် Strings များကိုစာရင်းကောက်ခြင်း
56. ပြtingနာရပ်တန့်ခြင်း
57. ဆန်ရဲ့သီအိုရီ
58. စကားစပ်အထိခိုက်မခံသောသဒ္ဒါနှင့်ဘာသာစကားများ
59. အဆိုပါ chomsky hirarchy
60. တားမြစ်ခြင်းမရှိသောသဒ္ဒါ
ရှုပ်ထွေးသောသီအိုရီအတွက် 61 နိဒါန်း
62 polynomial အချိန် algorithm ကို
63 boolean ကျေနပ်မှု
နောက်ထပ် NP ပြproblemနာ
65. တရားဝင်စနစ်များ
66. ဖွဲ့စည်းမှုနှင့် recursion
67. Ackermann ၏သီအိုရီ
68. အဆိုပြုချက်
Nonof Deterministic ကနျ့ Automata Example. 69
DFA မှ NFA ၏ 70 ပြောင်းလဲခြင်း
71 ဆက်သွယ်မှု
72. Tautology, ဆန့်ကျင်ခြင်းနှင့်အရေးပေါ်
73. ယုတ္တိအထောက်အထားတွေကို
74. ယုတ္တိအခြ
75. Predicates နှင့် quantifiers
76. Quantifiers နှင့်ယုတ္တိအော်ပရေတာ
77. ပုံမှန်ပုံစံများ
78. Mealy နှင့် Moore စက်များ
၇၉. Myhill-Nerode သီအိုရီ
80 ဆုံးဖြတ်ချက် algorithms
81 NFA မေးခွန်းများ
82. Binary ဆက်ဆံရေးအခြေခံ
83. အကူးအပြောင်းနှင့်ဆက်စပ်သောအယူအဆများ
84. ညီမျှခြင်း (ကြိုတင်မှာယူမှုပေါင်းအချိုးအစား)
စက်များအကြား 85. ပါဝါဆက်ဆံရေး
86. Recursion နှင့်အတူကိုင်တွယ်