UNIT - I Introduction to Finite Automata: स्ट्रक्चरल रिप्रेझेंटेशन्स, Automata and Complexity, the Central Concepts of Automata Theory - Alphabets, Strings, Languages, Problems. नॉनडेटरमिनिस्टिक फिनाइट ऑटोमेटा: औपचारिक व्याख्या, एक अनुप्रयोग, मजकूर शोध, एप्सिलॉनसह फिनाइट ऑटोमेटा - संक्रमणे. डिटरमिनिस्टिक फिनाइट ऑटोमेटा: डीएफएची व्याख्या, डीएफए प्रक्रिया कशी होते, डीएफएची भाषा, एनएफएचे रुपांतर - एनएफए शिवाय - संक्रमणे. एनएफएचे डीएफए, मूर आणि मेले मशीनमध्ये रूपांतर. (अध्याय - 1) UNIT - II रेग्युलर एक्स्प्रेशन्स: फिनाइट ऑटोमेटा आणि रेग्युलर एक्सप्रेशन्स, रेग्युलर एक्स्प्रेशन्सचे ऍप्लिकेशन्स, रेग्युलर एक्स्प्रेशन्ससाठी बीजगणितीय कायदे, फिनिट ऑटोमेटाचे रेग्युलर एक्स्प्रेशन्समध्ये रूपांतर. नियमित भाषांसाठी पंपिंग लेमा: पंपिंग लेमाचे विधान, पंपिंग लेमाचे अनुप्रयोग, नियमित भाषांचे बंद गुणधर्म: नियमित भाषांचे बंद गुणधर्म, नियमित भाषांचे निर्णय गुणधर्म, ऑटोमेटाची समानता आणि कमी करणे. (अध्याय - 2) UNIT - III संदर्भ-मुक्त व्याकरण: संदर्भ-मुक्त व्याकरणाची व्याख्या, व्याकरण वापरून व्युत्पत्ती, डावीकडील आणि उजवीकडील व्युत्पत्ती, व्याकरणाची भाषा, संवेदनात्मक फॉर्म, पार्स ट्रेस, संदर्भ-मुक्त व्याकरणाचे अनुप्रयोग, अमर्याद ग्रामर व्याकरण आणि भाषांमध्ये. पुश डाउन ऑटोमॅटा: पुशडाउन ऑटोमॅटनची व्याख्या, पीडीएची भाषा, पीडीए आणि सीएफजीची समतुल्यता, अंतिम स्थितीनुसार स्वीकृती, रिकाम्या स्टॅकद्वारे स्वीकृती, निर्धारक पुशडाउन ऑटोमेटा, सीएफजी ते पीडीए, पीडीए ते सीएफजी. (अध्याय - 3) UNIT - IV संदर्भासाठी सामान्य फॉर्म - विनामूल्य व्याकरण: निरुपयोगी चिन्हे काढून टाकणे, काढून टाकणे - निर्मिती, चॉम्स्की सामान्य फॉर्म ग्रीबेच सामान्य स्वरूप. संदर्भ-मुक्त भाषांसाठी पंपिंग लेमा: पंपिंग लेमाचे विधान, अनुप्रयोग. UNIT - V ट्युरिंग मशीनचे प्रकार