Can anybody please explain this reduction and rice theorem.
http://www.cs.rice.edu/~nakhleh/COMP481/
Thanks