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, Conversion of NFA-Lambda to NFA Conversion of NFA to DFA

  2. Kleene Theorem 1

  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