UNIT - I Automata Fundamentals introduction to formal proof - पुराव्याचे अतिरिक्त फॉर्म - Inductive Proofs - Finite Automata - Deterministic Finite Automata - Non-deterministic Finite Automata - Finite Automata with Epsilon Transitions (अध्याय - 1) UNIT - II रेग्युलर एक्सप्रेशन्स आणि लॅन्ज्युलर एक्सप्रेशन्स - एफए आणि रेग्युलर एक्स्प्रेशन्स - भाषा नियमित नसल्याचं सिद्ध करणं - रेग्युलर लँग्वेजेसचे क्लोजर प्रॉपर्टीज - ​​ऑटोमेटाची समानता आणि कमी करणे. (अध्याय - 2) UNIT - III संदर्भ विनामूल्य व्याकरण आणि भाषा CFG - पार्स ट्री - व्याकरण आणि भाषांमधील संदिग्धता - पुशडाउन ऑटोमेटाची व्याख्या - पुशडाउन ऑटोमेटाच्या भाषा - पुशडाउन ऑटोमेटा आणि CFG, डिटरमिनिस्टिक पुशडाउन ऑटोमेटाची समतुल्यता. (अध्याय - 3) UNIT - IV संदर्भ मुक्त भाषांचे गुणधर्म CFG साठी सामान्य फॉर्म - CFL साठी पंपिंग Lemma - CFL चे क्लोजर गुणधर्म - ट्युरिंग मशीन्स - TM साठी प्रोग्रामिंग तंत्र. (अध्याय - 4) UNIT - V Undecidability Non Recursive Numerable (RE) भाषा - RE सह अनिर्णित समस्या - TM बद्दल अनिर्णित समस्या - पोस्टच्या पत्रव्यवहाराची समस्या, वर्ग P आणि NP. (अध्याय - 5)