Scribd
Upload
195 views2 pages

Theory of Computation

The document outlines the course content and structure for the Theory of Computation subject for the 6th semester of the Computer Engineering/Computer Science & Engineering program at Gujarat Technological University. The topics covered include finite automata, context-free grammars, pushdown automata, Turing machines, recursively enumerable languages, and computational complexity. The course involves 4 hours of theory lectures per week over 15 weeks for a total of 60 hours. Student evaluation includes a mid-semester exam, end-semester university exam, and a practical exam. Recommended textbooks and references are also provided.

Uploaded by

umodi
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
195 views2 pages

Theory of Computation

The document outlines the course content and structure for the Theory of Computation subject for the 6th semester of the Computer Engineering/Computer Science & Engineering program at Gujarat Technological University. The topics covered include finite automata, context-free grammars, pushdown automata, Turing machines, recursively enumerable languages, and computational complexity. The course involves 4 hours of theory lectures per week over 15 weeks for a total of 60 hours. Student evaluation includes a mid-semester exam, end-semester university exam, and a practical exam. Recommended textbooks and references are also provided.

Uploaded by

umodi
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

GUJARAT TECHNOLOGICAL UNIVERSITY

B. E. SEMESTER: VI

Computer Engineering /Computer Science & Engineering


Subject Name: Theory of Computation Subject Code: 160704 Teaching Scheme
Theory Tutorial Practical Total

Evaluation Scheme
University Exam (Theory) (E) 70 Mid Sem Exam (Theory) (M) 30 Practical (I) 50

Sr. No 1.

Course Content Review Of Mathematical Terms And Theory: Basic Mathematical Notations And Set Theory, Logic Functions And Relations, Language Definitions, Mathematical Inductions And Recursive Definitions Finite Automata: Deterministic And Non Deterministic Finite Automata, -Transitions, Conversion From NFA To DFA, Kleenes Theorem, Regular And Non Regular Languages CFG (Context Free Grammar): Introduction To CFG, CFG And Known Languages, Unions Concatenations And *S Notations And CFL, Derivations Of Trees And Ambiguity, Unambiguous CFG And Algebric Expressions, Normal Forms And Siplified Forms Pushdown Automata, CFL and NFL: Introduction To PDA, Definition, DPDA, PDA Corresponding To CFG, CFG Corresponding To PDA, Introduction To CFL, Intersections And Complements Of CFL, Decisions Problems And CFL Turing Machines, Recursive Language: Model Of Computation And Church Turning Thesis, Definition Of Turing Machine, Tm And Language Acceptors, Variations Of Tm, Non Deterministic Tm, Universal Tm, Enumerable And Language, Recursive And Non Recursive Enumerable Computation Functions, Measuring, Classifications And Complexity: Primitive Recursive Functions, Halting Problem, Recursive Predicates And Some Bounded Operations, Unbounded Minimizations And -Recursive Functions, Godel Numbering, Computable Functions And -Recursive, Numerical Functions

Total Hrs.

04

2.

12

3.

09

4.

09

5.

05

6.

05

7.

Tractable And Intractable Problems: Growth Rate And Functions, Time And Speed Complexity, Complexity Classes, Tractable And Possibly Intractable Problems, P And Np Completeness, Reduction Of Time, Cooks Theorem, Np-Complete Problems

04

Text Book:
1. Introduction To Languages And Theory Of Computation By John C. Martin, Third Edition,TMH.

Reference Books:
1. Automata Theory, Languages and Computation, Hopcroft, Motwani, Ullman, Pearson Education 2. Theory of automata, Langusges and computation, Kumar, McGraHill 3. The Theory of Computation, Moret, Pearson Education 4. Introduction to Computer Theory, Cohen, Wiley-India

You might also like