AUTOMATA THEORY AND COMPUTABILITY

Scheme: CBCS

Semester: V

Subject code: 17CS54

Credit: 4

CLASSES STARTING IN:

Course Objective:

This course will enable students to

  • Introduce core concepts in Automata and Theory of Computation
  • Identify different Formal language Classes and their Relationships
  • Design Grammars and Recognizers for different formal languages
  • Prove or disprove theorems in automata theory using their properties
  • Determine the decidability and intractability of Computational problems