COT 6421 - Homework 2

Due Monday, February 14

• 5.9 --- This problem shows that A_TM is r.e.-complete.
• 5.12
• 5.20
• 5.22
• 5.23

• COT 6421 home page
• Geoffrey Smith's home page