The document outlines the examination structure and content for the Theory of Computation course for various semesters in the B.E./B.Tech Computer Science and Engineering program, focusing on topics such as inductive proof, finite automata, regular expressions, context-free grammars, Turing machines, and decidable vs undecidable problems. It presents multiple questions divided into two parts, where part A consists of short answer questions and part B includes detailed problem-solving questions. Each section aims to test students' understanding of theoretical concepts and their practical application in computation theory.