Professional Documents
Culture Documents
cs0355 Theory of Computation PDF
cs0355 Theory of Computation PDF
Faculty Details
Reference Books:
2. H.R. Lewis and C.H. Papadimitriou , “ Elements of the Theory of Computation”, Second Edition , Pearson
Education /PHI , 2003
3. J.Martin, “ Introduction to Languages and the Theory of Computation”, Third Edition , TMH, 2003
4. Michael Sipser, “ Introduction of the Theory and Computation “, Thomson, Brokecole, 1997
Online References:
1. http://www.cis.upenn.edu/~cis511/
2. http://en.wikipedia.org/wiki/Theory_of_computation
3. http://geisel.csl.uiuc.edu/~loui/sdcr/
4. http://www.math.niu.edu/~rusin/known-math/index/68QXX.html#INTRO
Objectives
Assessment Details
Cycle Test – I : 10 Marks
Surprise Test / Assignment : 05 Marks
Cycle Test – II : 10 Marks
Model Exam : 20 Marks
Attendance : 05 Marks
Test Schedule
Outcomes
Students who have successfully completed this course will have full understanding of the following
concepts
2. Knowledge of computability
Detailed Session Plan
AUTOMATA
Introduction to formal proof –Additional forms of proof – Inductive proofs- Finite Automata(FA) – Deterministic
Finite Automata (DFA) – Non-deterministic Finite Automata ( NDFA) - Finite Automata with € -moves
Sessio Time Teaching
Topics to be covered Ref Testing Method
n No. (min) Method
7 50 1 BB
NDFA and its extension Quiz, Assignment
FA with epsilon moves
8 50 1 BB
Quiz, Assignment
9
Equivalence of DFA and NDFA 50 1,3 BB
Assignment/ practical
Normal forms of CFG- Pumping lemma for CFL – Closure Properties of CFL- Turing Machines- Programming
Techniques for TM
UNDECIDABILITY
A Language that is not Recursively Enumerable (RE) – An Undecidable problem that is RE – Undecidable problem
about Turing Machine- Post’s Correspondence Problem – The classes P and NP
41 Recursively Enumerable 50 1 BB
Group discussion
42 Recursively Enumerable 50 1 BB
Group discussion
43 Undecidable Problems 50 1 BB
Group discussion
44 Post’s Correspondence Problem 50 1 BB
Group discussion
The classes P and NP Surprise test
45 50 1 BB
Group discussion
BB – Black Board
PP – Power Point