Use the Myhill-Nerode Theorem to prove that they are not regular:

a) POW = {0^{(2^n)} | n 0}

b) PAL = {w {a, b}* | w is a palindrome}