Thanks to Honomount for collecting these exercises with solutions:
- upload:xxx_hd3_3.pdf --- 3.1, 3.2, 3.3, 3.5, 3.8, 3.10, 3.15, 3.16, 3.22
- upload:xxx_hd3_4.pdf --- 4.1, 4.5, 4.9, 4.11, 4.13, 4.21, 4.23
- upload:xxx_hd3_5.pdf --- 5.5, 5.6, 5.7, 5.8, 5.10, 5.11, 5.28, 5.30
- upload:xxx_hd3_6.pdf --- 6.3, 6.9, 6.10, 6.12
- upload:xxx_hd4_7.pdf --- 7.1, 7.2, 7.14, 7.21, 7.33, 7.42
- upload:xxx_hd4_8.pdf --- 8.5, 8.7, 8.31
- upload:xxx_hd4_9.pdf --- 9.1, 9.2, 9.3, 9.7, 9.20
- upload:xxx_solutions1.pdf --- chapter 1, regular languages
- upload:xxx_solutions2.pdf --- regular languages, context free languages
- upload:xxx_solutions3.pdf --- chapter 2, context-free languages
- upload:xxx_solutions4.pdf --- chapter 3, def'n of Turing machine [3.5, 3.6, 3.7, 3.13, 3.16]
- upload:xxx_solutions5.pdf --- decidable languages
- upload:xxx_solutions8.pdf --- Rice's Thm, Recursion Thm
- upload:xxx_kolmogorov_complexity.pdf --- kolmogorov complexity
- upload:xxx_solutions10.pdf --- chapter 7: P, NP
- upload:xxx_solutions11_and_a_half.pdf --- P and NP
- upload:xxx_solutions12_and_a_half.pdf --- P and NP
- upload:xxx_hw1solutions.pdf --- 1.9, 1.10
- upload:xxx_07s.pdf --- 5.17, 5.18, classifying problems
- upload:xxx_hw3sol.pdf --- Turing machines, decidable languages
- upload:xxx_hw4sol.pdf --- proving languages decidable (2) or undecidable (2), also 3.10, 4.11, 5.9, 5.12, 5.15
- upload:xxx_hw5sol.pdf --- classifying languages as decidable, undecidable, Turing recognizable, not Turing recognizable
- upload:xxx_A4.pdf --- 5.17, 6.7, 6.10, 6.11
- upload:xxx_08s.pdf --- 7.12
- upload:xxx_08-sol.pdf --- 7.33, two NP-complete problems
- upload:xxx_HW7.pdf --- poly-time algorithms, NP-completeness
- upload:xxx_sec10.pdf --- 7.22, 7.23, 7.24
- upload:xxx_soln17.pdf --- chapter 7: P and NP [7.16, 7.17, 7.34]
- upload:xxx_soln19.pdf --- chapter 7: P and NP [7.16, 7.10, 7.21, 7.37, 7.19, 7.11]
- upload:xxx_turing_machine.pdf --- notes on Turing machines
- upload:xxx_sol2.pdf --- misc answers without questions
- upload:xxx_sol3.pdf --- misc answers without questions
- upload:xxx_sol6.pdf --- some poly-time algorithms (answers without questions)