Final Exam
Time and Location

 

Topics to be Covered
  1. Topics from the Test

    2. In particular, Recursive Definition, Structural (General) Induction, Regular Languages and Regular Expressions,

  2. Conversion of NFA to DFA


  3. Complement and Intersection of Regular Languages


  4. Non-Regularity Test (Myhill-Nerode i.e. Corollary 5.1)


  5. Contex-Free Language, PDA


  6. Turing Machines,   and   Combination of Turing Machines


  7. Unsolvable Problems