This repository is a comprehensive resource for the Theory of Computation (TOC) course under the SPPU 2019 pattern. It covers essential topics such as formal languages, translation logic, and the design of computational models, including Finite Automata, Pushdown Automata, and Turing Machines. You will learn to construct regular expressions, Context Free Grammars, and explore concepts like the Pumping Lemma and NP completeness, equipping them with the theoretical and practical skills needed for effective computational analysis and design.
| Assignments | ||
| Notes | ||
| Question Papers | ||
| README.md | ||
Theory of Computation (TOC)
This repository is a comprehensive resource for the Theory of Computation (TOC) course under the SPPU 2019 pattern. It covers essential topics such as formal languages, translation logic, and the design of computational models, including Finite Automata, Pushdown Automata, and Turing Machines. You will learn to construct regular expressions, Context Free Grammars, and explore concepts like the Pumping Lemma and NP completeness, equipping them with the theoretical and practical skills needed for effective computational analysis and design.
Index
Notes
- Unit 1 - Formal Language Theory and Finite Automata
- Unit 2 - Regular Expressions
- Unit 3 - Context Free Grammar (CFG) and Context Free Language (CFL)
- Unit 4 - Pushdown Automata (PDA)