मॉड्यूल - 1 गणनेच्या सिद्धांताचा अभ्यास का करावा, भाषा आणि स्ट्रिंग्स: स्ट्रिंग्स, भाषा. भाषा पदानुक्रम, गणना, मर्यादित राज्य मशीन (FSM): निर्धारक FSM, नियमित भाषा, FSM डिझाइन करणे, Nondeterministic FSMs, FSMs पासून ऑपरेशनल सिस्टम्स, FSMs साठी सिम्युलेटर, FSMs कमी करणे, नियमित भाषांचे प्रमाणिक स्वरूप, मर्यादित राज्य ट्रान्सड्यूसर, द्विनिर्देशक . (अध्याय - 1) मॉड्यूल - 2 रेग्युलर एक्सप्रेशन्स (RE): RE म्हणजे काय?, Kleene चे प्रमेय, REs चे अनुप्रयोग, REs हाताळणे आणि सरलीकृत करणे. नियमित व्याकरण: व्याख्या, नियमित व्याकरण आणि नियमित भाषा. नियमित भाषा (RL) आणि नॉन-रेग्युलर भाषा: किती RLs आहेत, भाषा नियमित आहे हे दर्शविण्यासाठी, RLs चे क्लोजर गुणधर्म, काही भाषा RL नाहीत हे दर्शविण्यासाठी. (अध्याय - 2) मॉड्यूल - 3 संदर्भ-मुक्त व्याकरण(CFG): प्रणाली आणि व्याकरण, CFGs आणि भाषांचा पुनर्लेखन, CFG डिझाइन करणे, CFG सोपे करणे, व्याकरण योग्य असल्याचे सिद्ध करणे, व्युत्पन्न आणि पार्स ट्री, अस्पष्टता, सामान्य. पुशडाउन ऑटोमेटा (पीडीए): नॉन-डिटरमिनिस्टिक पीडीए, डिटरमिनिस्टिक आणि नॉन-डिटरमिनिस्टिक पीडीए, नॉनडेटरमिनिझम आणि हल्टिंग, पीडीएच्या पर्यायी समतुल्य व्याख्या, पीडीएच्या समतुल्य नसलेले पर्याय. (अध्याय - 3, 4) मॉड्यूल - 4 सीएफएलसाठी अल्गोरिदम आणि निर्णय प्रक्रिया: निर्णय घेण्यायोग्य प्रश्न, निर्णय न घेता येणारे प्रश्न. ट्युरिंग मशीन: ट्युरिंग मशीन मॉडेल, प्रतिनिधित्व, टीएमद्वारे भाषा स्वीकार्यता, टीएमची रचना, टीएम बांधकामासाठी तंत्र. ट्युरिंग मशिन्सचे प्रकार (TM), लिनियर बाउंडेड ऑटोमेटाचे मॉडेल. (अध्याय - 5) मॉड्यूल - 5 निर्णयक्षमता: अल्गोरिदमची व्याख्या, निर्णयक्षमता, निर्णय घेण्यायोग्य भाषा, अनिश्चित भाषा, टीएमची थांबणारी समस्या, पत्रव्यवहारानंतरची समस्या. जटिलता: फंक्शन्सचा वाढीचा दर, पी आणि एनपीचे वर्ग, क्वांटम कॉम्प्युटेशन: क्वांटम संगणक, चर्च- ट्युरिंग थीसिस. अनुप्रयोग: G.1 प्रोग्रामिंग भाषेचे वाक्यरचना परिभाषित करणे, परिशिष्ट J: सुरक्षा (धडा - 6)