Syllabus - CSE 2022-23 - 2 - 1
Syllabus - CSE 2022-23 - 2 - 1
Syllabus - CSE 2022-23 - 2 - 1
35
C:\Users\Dell\Onedrive\Desktop\Subjects\BE(CSE) 2023-25 Exam 2024-26_New Codes.Docx
[PCC] 5CSE43A (CSE) – THEORY OF COMPUTATION
3L 3 Hours, 80 Marks
Finite Automata & Regular Expression: Basic Concepts of finite state machine. Deterministic and
Non-deterministic finite automata. Conversion of NDFA to DFA, NFAs with epsilon transitions.
Design regular expressions. Relationship between regular expression & Finite automata.
Minimization of finite automata. Finite automata with output: Mealy & Moore Machines.
Regular Set and Regular Grammar: Formal definition of Regular Language and Grammar. Regular
Sets and Regular Grammars. Equivalence of regular grammar and finite automata. Kleen’s closure
Theorem. Arden’s Theorem. Closure properties of Regular language. Pumping lemma for Regular
language. Myhill-Nerode theorem.
Context Free Grammar/ Language & Pushdown Automata: Context Free Grammars. Derivations,
Parse trees, Ambiguity. Greiback Normal form, Chomsky normal forms. Pushdown Automata:
Definitions, Instantaneous descriptions, Deterministic pushdown automata, Non-deterministic
Pushdown automata. Context Free Language. Closure properties of CFLs. Pumping lemma for CFL.
Linear bounded Automata & Context Sensitive Language: Chomsky Hierarchy of Languages and
automata, Introduction to Linear bounded Automata, Instantaneous descriptions. Properties of
context-sensitive languages. Context sensitive grammar.
Turing Machine: Definition of Turing machine, Instantaneous descriptions. Design of TM, Other
Turing Machine Models. Recursive language and Recursively enumerable languages. Computability.
Universal Turing Machines, Church-Turing Thesis, Halting Problem, Reductions and Undecidability
Proofs. Rice’s Theorem.
36
C:\Users\Dell\Onedrive\Desktop\Subjects\BE(CSE) 2023-25 Exam 2024-26_New Codes.Docx
LIST OF DEPARTMENTAL ELECTIVES – 1