अपनी प्राथमिकता निर्धारित करें
फ़ॉन्ट स्केलिंग
अप्राप्ति
पृष्ठ अनुमापन
अप्राप्ति
रंग समायोजन
भा.प्रौ.सं.कानपुर

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: