a. Let ADD = {〈x, y, z〉| x, y, z > 0 are binary integers and x+ y = z}. Show that ADD ∈ L.

b. Let PAL-ADD = {〈x, y〉| x, y > 0 are binary integers where x + y is an integer whose binary representation is a palindrome}. (Note that the binary representation of the sum is assumed not to have leading zeros. A palindrome is a string that equals its reverse.) Show that PAL-ADD ∈ L.