School of Engineering and Technology, (SET) | ||
AT70.03 : Theory of Computing 3(3-0) | ||
Course objectives: | ||
To provide an exposure to the theory of formal languages, automata and complexity theory. |
||
Learning Outcomes: | ||
Finite Automata and Regular Expressions. Properties of Regular Sets. Context-Free Grammars. Pushdown Automata. Properties of Context-Free Languages. Turing Machines. Undecidability. Computational Complexity Theory. Intractable Problems. |
||
Pre-requisite(s): | ||
None |
||
Course Outline: | ||
|
||
Learning Resources: | ||
Textbook: | ||
H.R. Lewis, C.H. Papadimitriou:
Element of the Theory of Computation, Prentice Hall, 2nd Edition, 1998.
|
||
Reference Books: | ||
C. Calude:
Theories of Computational Complexity, North Holland, 1988.
M. Chandrasekaran, and K.L.P. Mishra:
Theory of Computer Science: Automata, Language and Computation, Prentice Hall, 1995.
J.E. Hopcroft, J.D. Ullman:
Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Massachusetts, 1979.
M. Sipser:
Introduction to the Theory of Computation, Pws Pub Co, USA, 1996.
C.H. Smith:
A Recursive Introduction to the Theory of Computation, Springer Verlag, 1994.
R.G. Taylor:
Model of Computation and Formal Languages, Oxford University Press, 1997.
M.R. Garey and D. S. Johnson:
Computer and Intractability, W.H. Freeman and Company, New York, 1979.
|
||
Evaluation Scheme: | ||
The final grade will be computed from the following constituent parts:
Mid-semester exam - (30%)
Final exam - (70%)
Open-book examination is used for both mid-semesterand final exam.
|
||
Instructor(s): | ||
|
||