युनिट I फॉर्मल लँग्वेज थिअरी आणि फिनाइट ऑटोमेटा फिनाइट ऑटोमेटा (FA): FA चे अनौपचारिक चित्र, फिनाइट स्टेट मशीन (FSM), FA ने स्वीकारलेली भाषा, रेग्युलर लँग्वेजची व्याख्या. आउटपुटशिवाय एफए : निर्धारक आणि नॉनडेटरमिनिस्टिक एफए (डीएफए आणि एनएफए), एप्सिलॉन - एनएफए आणि आंतर-रूपांतरण. डीएफए कमी करणे. आउटपुटसह FA : मूर आणि मेली मशीन - व्याख्या, मॉडेल्स, इंटर-कन्व्हर्जन. (अध्याय - 1) युनिट IIरेग्युलर एक्स्प्रेशन्स (आरई) परिचय, आरईचे ऑपरेटर, ऑपरेटरची प्राधान्ये, आरईसाठी बीजगणितीय कायदे, रेग्युलर एक्सप्रेशन्सची भाषा, दोन आरईची समतुल्यता. रूपांतरणे : RE ते NFA, DFA, DFA ते RE आर्डेनचे प्रमेय वापरून, नियमित भाषांसाठी पंपिंग लेमा, नियमित भाषांचे बंद आणि निर्णय गुणधर्म. मायहिल-नेरोड प्रमेय. (अध्याय - 2) युनिट IIICcontext मुक्त व्याकरण (CFG) आणि संदर्भ मुक्त भाषा (CFL) व्याकरणाचे मूलभूत घटक, संदर्भ मुक्त व्याकरणाची औपचारिक व्याख्या, संवेदनाक्षम स्वरूप, व्युत्पत्ती आणि व्युत्पत्ती वृक्ष / पार्स ट्री, संदर्भ मुक्त भाषा (CFL), अस्पष्ट व्याकरण, भाषेसाठी व्याकरण लिहिणे. CFG चे सरलीकरण : निर्मूलन - निर्मिती, युनिट निर्मिती, निरुपयोगी उत्पादन आणि निरुपयोगी चिन्हे. सामान्य फॉर्म: चॉम्स्की नॉर्मल फॉर्म, ग्रेबॅक नॉर्मल फॉर्म, CFG साठी पंपिंग लेमा, CFL चे क्लोजर गुणधर्म, CFL चे निर्णय गुणधर्म, चॉम्स्की पदानुक्रम, कॉक-यंगर-कसामी अल्गोरिदम. (अध्याय - 3) युनिट IVPushdown Automata (PDA) परिचय, PDA ची औपचारिक व्याख्या, अंतिम स्थिती आणि रिक्त स्टॅकद्वारे स्वीकृतीची समानता, नॉन-डिटरमिनिस्टिक PDA (NPDA), PDA आणि संदर्भ मुक्त भाषा, PDA आणि CFG, PDA वि. CFLs. निर्धारक CFLs. (अध्याय - 4) युनिट V ट्युरिंग मशीन्स (टीएम) ट्युरिंग मशीन मॉडेल, ट्युरिंग मशीनची औपचारिक व्याख्या, ट्युरिंग मशीनद्वारे भाषा स्वीकार्यता, टीएमची रचना, टीएमचे वर्णन, टीएम बांधकामाचे तंत्र, ट्युरिंग मशीनसह संगणकीय कार्य, ट्युरिंगचे प्रकार मशीन्स, युनिट VI कम्प्युटेबिलिटी आणि कॉम्प्लेक्सिटी थिअरी