NPTEL Lecture : 'RECURSIVE SETS , RECURSIVELY INNUMERABLE SETS , ENCODING OF TM , HALTING PROBLEM'

RECURSIVE SETS , RECURSIVELY INNUMERABLE SETS , ENCODING OF TM , HALTING PROBLEM

  • Course: Theory of Automata, Formal Languages and Computation
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. Kamala Krithivasan
  • Institute: IIT Madras