Science - Course - Automata Theory And Formal Languages

  • Course Code: CMPS642
  • Credits: 3
  • Hours Distribution: (3crs.: 3lec.)
  • Course Type: Major Core (MJC)

Course Description

Topics Covered Include A Review Of The Fundamentals Of Theory Of Computation, Variants Of Turing Machines, Nondeterministic Turing Machines, Enumerators, Decidability, The Halting Problem, The Diagonalization Method, Turing Unrecognizable Languages, Reducibility, Advanced Topics In Computability Theory.