Set your preference
Font Scaling
Default
Page Scaling
Default
Color Adjustment

MTH401A - Theory Of Computation

IITK

Prerequisites:

3-0-0-9

Course Contents

Regular languages, Deterministic and nondeterministic nite automata, Closure properties, Languages that are and are not regular, State minimization in deterministic nite automata. Context free languages, Closure properties, Parse trees, Languages that are and are not context free, Pushdown automata. Turing machines, Turing computability, Church Turing thesis, Halting problem, Some un decidable problems. Computational complexity, Classes P and NP, NP completeness, Examples of NP complete problems. 


 

Topics

Current Course Information

Instructor(s):

Number of sections:

Tutors for each section:

Schedule for Lectures:

Schedule for Tutorial:

Schedule for Labs: