1.परिमित ऑटोमेटाचा परिचय: परिमित ऑटोमेटाचा परिचय, ऑटोमेटा सिद्धांताच्या केंद्रीय संकल्पना, डिटरमिनिस्टिक फिनाइट ऑटोमेटा (DFA), नॉनडेटरमिनिस्टिक फिनाइट ऑटोमेटा (NFA), एप्सिलॉन ट्रांझिशनसह फिनाइट ऑटोमेटा. (अध्याय - 1) 2.नियमित अभिव्यक्ती आणि भाषा: नियमित अभिव्यक्ती, मर्यादित ऑटोमॅटा आणि नियमित अभिव्यक्ती, नियमित अभिव्यक्तींचे अनुप्रयोग, भाषा नियमित नसणे हे सिद्ध करणे, नियमित भाषांचे बंद गुणधर्म, ऑटोमॅटा - पंपिंग लेमाचे समानता आणि कमी करणे. (अध्याय - 2) 3. संदर्भ मुक्त व्याकरण आणि भाषा पार्स ट्री: संदर्भ मुक्त व्याकरणाचे अनुप्रयोग, व्याकरण आणि भाषांमधील संदिग्धता, निरुपयोगी चिन्हे दूर करणे, जनरेटिंग आणि पोहोचण्यायोग्य चिन्हांची गणना करणे, एप्सिलॉन प्रॉडक्शन काढून टाकणे, युनिट्स प्रोडक्शन्स (बायको प्रोडक्शन्स) नष्ट करणे. ), चोम्स्की नॉर्मल फॉर्म (CNF). (अध्याय - 3) 4. पुशडाउन ऑटोमॅटा, सीएफएल आणि एनसीएफएल: पुशडाउन ऑटोमॅटा (पीडीए) ची व्याख्या, पीडीएची भाषा, पीडीए आणि सीएफजीची समतुल्यता, डेटरमिनिस्टिक पुशडाउन ऑटोमेटा, संदर्भ मुक्त भाषांसाठी पंपिंग लेमा, क्लोज प्रोटोज संदर्भ मुक्त भाषा, सीएफएलसाठी पंपिंग लेमा, सीएफएलचे छेदनबिंदू आणि पूरक, नॉन-सीएफएल (धडा - 4) 5. ट्युरिंग मशीन (टीएम): संगणक सोडवू शकत नसलेल्या समस्या, ट्युरिंग मशीन, ट्युरिंग मशीनसाठी प्रोग्रामिंग तंत्र, विस्तार बेसिक ट्युरिंग मशीन, रिस्ट्रिक्टेड ट्युरिंग मशीन्स, ट्युरिंग मशीन्स आणि कॉम्प्युटर, पोस्टच्या पत्रव्यवहाराच्या समस्येची व्याख्या, एक भाषा जी पुनरावृत्तीने मोजता येत नाही, एक अनिर्णित समस्या जी आरई आहे, संदर्भ संवेदनशील भाषा आणि चॉम्स्की पदानुक्रम, इतर अनिर्णित समस्या. (अध्याय - 5) 6.गणनायोग्य कार्ये: आंशिक, एकूण, स्थिर कार्ये, आदिम पुनरावृत्ती कार्ये, सीमाबद्ध खनिजीकरण, नियमित कार्य, पुनरावृत्ती कार्ये. (अध्याय – ६)